On the finite containment problem for Petri nets
- 31 December 1986
- journal article
- research article
- Published by Elsevier in Theoretical Computer Science
- Vol. 43 (1) , 99-105
- https://doi.org/10.1016/0304-3975(86)90169-6
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Petri nets and large finite setsTheoretical Computer Science, 1984
- The Complexity of the Finite Containment Problem for Petri NetsJournal of the ACM, 1981
- Rapidly Growing Ramsey FunctionsAnnals of Mathematics, 1981
- The covering and boundedness problems for vector addition systemsTheoretical Computer Science, 1978
- The equality problem for vector addition systems is undecidableTheoretical Computer Science, 1976
- Parallel program schemataJournal of Computer and System Sciences, 1969