An Incremental and Modular Technique for Checking LTL\X Properties of Petri Nets.

Kais Klai Laure Petrucci Michel A. Reniers

Published in: FORTE (2007)

Keyphrases

petri net
discrete event systems
petri net model
temporal logic
fuzzy petri net
manufacturing systems
service composition
stochastic petri net
high level petri nets
concurrent systems
colored petri nets
complex systems
process model
ims ld
discrete dynamical systems