Modeling with enhanced prioritized Petri nets: EP-nets.

Sheng Uei Guan Sok-Seng Lim

Published in: Comput. Commun. (2002)

Keyphrases

petri net
colored petri nets
stochastic petri net
petri net model
discrete event systems
sequence diagrams
manufacturing systems
high level petri nets
embedded real time systems
process model
ims ld
service composition
reactive systems
state machines
concurrent systems