An Integrated Approach to Modeling and Analysis of Embedded Real-Time Systems Based on Timed Petri Net.

Zonghua Gu Kang G. Shin

Published in: ICDCS (2003)

Keyphrases

petri net
colored petri nets
embedded real time systems
petri net model
discrete event systems
stochastic petri net
service composition
web service composition
process model
real time
information systems
web services
data model
embedded systems
ims ld
state machines