Loose Semantics of Petri Nets.

Julia Padberg Hans-Jörg Kreowski

Published in: Formal Methods in Software and Systems Modeling (2005)

Keyphrases

petri net
petri net model
discrete event systems
manufacturing systems
colored petri nets
stochastic petri net
process model
state machines
logic programming
process algebra
fuzzy petri net
service composition
ims ld
concurrent systems
programmable logic controller
control system