An algorithm for the general Petri net reachability problem

• 1 January 1981
• conference paper
• Published by Association for Computing Machinery (ACM)
• p. 238-246
• https://doi.org/10.1145/800076.802477

Abstract

Keywords

• DECIDABILITY
• PETRI NET
• REACHABILITY PROBLEM
• VECTOR ADDITION SYSTEM