New Efficient Petri Nets Reductions for Parallel Programs Verification.

Serge Haddad Jean-François Pradat-Peyre

Published in: Parallel Process. Lett. (2006)

Keyphrases

petri net
petri net model
colored petri nets
concurrent systems
discrete event systems
service composition
manufacturing systems
fuzzy petri net
fuzzy logic
knowledge acquisition
formal specification
discrete dynamical systems