On Yen’s Path Logic for Petri Nets
From MaRDI portal
Publication:3646251
DOI10.1007/978-3-642-04420-5_7zbMath1260.68255OpenAlexW2177830523MaRDI QIDQ3646251
Mohamed Faouzi Atig, Peter Habermehl
Publication date: 19 November 2009
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-04420-5_7
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17)
Related Items
On selective unboundedness of VASS, On detectability of labeled Petri nets and finite automata, Small vertex cover makes Petri net coverability and boundedness easier, Strategic reasoning with a bounded number of resources: the quest for tractability, Energy Games in Multiweighted Automata, Detectability of labeled weighted automata over monoids
Cites Work
- Persistence of vector replacement systems is decidable
- A unified approach for deciding the existence of certain petri net paths
- A structure to decide reachability in Petri nets
- The covering and boundedness problems for vector addition systems
- A note on fine covers and iterable factors of VAS languages
- On the regularity of Petri net languages
- Verifying liveness for asynchronous programs
- Unnamed Item
- Unnamed Item