Relevant Timed Schedules/Clock Vectors for Constructing Time Petri Net Reachability Graphs.

Hanifa Boucheneb Kamel Barkaoui

Published in: Discret. Event Dyn. Syst. (2011)

Keyphrases

petri net
petri net model
colored petri nets
manufacturing systems
discrete event systems
high level petri nets
web service composition
ims ld
state space
service composition
neural network
fuzzy petri net
process model
concurrent systems
expert systems
story generation
natural language