Synthesis of a Class of Deadlock-Free Petri Nets.

Ajoy Kumar Datta Sukumar Ghosh

Published in: J. ACM (1984)

Keyphrases

petri net
deadlock free
petri net model
discrete event systems
colored petri nets
service composition
stochastic petri net
concurrent systems
ims ld