The residue of vector sets with applications to decidability problems in Petri nets
- 1 March 1985
- journal article
- research article
- Published by Springer Nature in Acta Informatica
- Vol. 21 (6) , 643-674
- https://doi.org/10.1007/bf00289715
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Infinite behaviour of Petri netsTheoretical Computer Science, 1983
- Petri nets and regular languagesJournal of Computer and System Sciences, 1981
- Facts in place/transition-netsLecture Notes in Computer Science, 1978
- The covering and boundedness problems for vector addition systemsTheoretical Computer Science, 1978
- The equality problem for vector addition systems is undecidableTheoretical Computer Science, 1976
- Vermeidung von Verklemmungen in Bewerteten PetrinetzenLecture Notes in Computer Science, 1975
- The recursive equivalence of the reachability problem and the liveness problem for Petri nets and vector addition systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1974
- Decision problems forω-automataTheory of Computing Systems, 1969
- Rational sets in commutative monoidsJournal of Algebra, 1969
- Parallel program schemataJournal of Computer and System Sciences, 1969