Comparison of Different Semantics for Time Petri Nets.

Béatrice Bérard Franck Cassez Serge Haddad Didier Lime Olivier H. Roux

Published in: ATVA (2005)

Keyphrases

petri net
manufacturing systems
discrete event systems
petri net model
fuzzy petri net
colored petri nets
ims ld
state machines
process model
service composition
concurrent systems
sequence diagrams
expert systems
learning experience
discrete dynamical systems
programmable logic controller