On the Complexity of the Linear-Time mu -calculus for Petri-Nets.

Peter Habermehl

Published in: ICATPN (1997)

Keyphrases

petri net
worst case
manufacturing systems
discrete event systems
high level petri nets
petri net model
colored petri nets
process algebra
process model
service composition
fuzzy petri net
stochastic petri net
ims ld
sequence diagrams
discrete dynamical systems
programmable logic controller