Complete Finite Prefixes of Symbolic Unfoldings of Safe Time Petri Nets.

Thomas Chatain Claude Jard

Published in: ICATPN (2006)

Keyphrases

petri net
discrete event systems
high level petri nets
manufacturing systems
colored petri nets
petri net model
fuzzy petri net
ims ld
state machines
discrete dynamical systems
fuzzy logic
learning process
service composition
data analysis
concurrent systems
stochastic petri net
learning environment