Much Compact Time Petri Net State Class Spaces Useful to Restore CTL* Properties.

Rachid Hadjidj Hanifa Boucheneb

Published in: ACSD (2005)

Keyphrases

petri net
discrete event systems
temporal properties
manufacturing systems
web service composition
petri net model
model checking
neural network
colored petri nets
fuzzy petri net
ims ld
stochastic petri net
high level petri nets