Computational Complexity of Liveness Problem of Normal Petri Net.

Atsushi Ohta Kohkichi Tsuji

Published in: IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (2009)

Keyphrases

petri net
computational complexity
petri net model
manufacturing systems
discrete event systems
high level petri nets
colored petri nets
service composition
ims ld
fuzzy petri net
web service composition
concurrent systems
stochastic petri net
knowledge base
np hard