Time Complexity Analysis of the Legal Firing Sequence Problem of Petri Nets with Inhibitor Arcs Satoshi TAOKAToshimasa WATANABE
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2006/11/01 Vol. E89-ANo. 11 ;
pp. 3216-3226 Type of Manuscript: Special Section PAPER (Special Section on Concurrent/Hybrid Systems: Theory and Applications) Category: Concurrent Systems Keyword: Petri nets, inhibitor-arcs, legal firing sequences, pseudo-polynomial time algorithms, NP-hardness,
Publication: IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences Publication Date: 2001/03/01 Vol. E84-ANo. 3 ;
pp. 771-780 Type of Manuscript: Special Section PAPER (Special Section of Selected Papers from the 13th Workshop on Circuits and Systems in Karuizawa) Category: Keyword: Petri net, minimal initial markings, legal firing sequences, deficient siphons,