Real-Time Synchronised Petri Nets.

Giovanna Di Marzo Serugendo Dino Mandrioli Didier Buchs Nicolas Guelfi

Published in: ICATPN (2002)

Keyphrases

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