Efficient Reachability Analysis for Time Petri Nets.

Rachid Hadjidj Hanifa Boucheneb

Published in: IEEE Trans. Computers (2011)

Keyphrases

petri net
reachability analysis
petri net model
manufacturing systems
discrete event systems
colored petri nets
service composition
concurrent systems
stochastic petri net
ims ld
state machines
artificial intelligence
markov decision processes