Proving nonreachability by modulo-invariants
From MaRDI portal
Publication:672866
DOI10.1016/0304-3975(95)00117-4zbMath0872.68131MaRDI QIDQ672866
Jörg Desel, K.-P. Neuendorf, M.-D. Radola
Publication date: 28 February 1997
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0304-3975(95)00117-4
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Algebraic nets with flexible arcs, Petri net based verification of distributed algorithms: An example
Cites Work
- Reachability in cyclic extended free-choice systems
- System modelling with high-level Petri nets
- An Algorithm for the General Petri Net Reachability Problem
- Polynomial Algorithms for Computing the Smith and Hermite Normal Forms of an Integer Matrix
- The Orderly Resolution of Memory Access Conflicts Among Competing Channel Processes
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item