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,