Modular Verification of Petri Nets Properties: A Structure-Based Approach.

Kais Klai Serge Haddad Jean-Michel Ilié

Published in: FORTE (2005)

Keyphrases

petri net
petri net model
colored petri nets
concurrent systems
discrete event systems
manufacturing systems
state machines
high level petri nets
service composition
fuzzy petri net
discrete dynamical systems
artificial intelligence
web services
cellular automata