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

Hanifa Boucheneb Kamel Barkaoui

Published in: FORMATS (2008)

Keyphrases

petri net
discrete event systems
petri net model
colored petri nets
service composition
high level petri nets
manufacturing systems
web service composition
fuzzy petri net
process model
scheduling problem
ims ld
state space
neural network
authoring tool
concurrent systems
stochastic petri net