A structural approach for the analysis of Petri Nets by reduced unfoldings
From MaRDI portal
Publication:4633172
DOI10.1007/3-540-61363-3_19zbMath1418.68149MaRDI QIDQ4633172
Sergei Ten, Alex Kondratyev, A. R. Taubin, Michael Kishinevsky
Publication date: 2 May 2019
Published in: Application and Theory of Petri Nets 1996 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/3-540-61363-3_19
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Petri nets, event structures and domains. I
- A technique of state space search based on unfolding
- An improvement of McMillan's unfolding algorithm
- Deriving Petri nets from finite transition systems
- A structural approach for the analysis of Petri Nets by reduced unfoldings
- Model checking using net unfoldings