A structural approach for the analysis of Petri Nets by reduced unfoldings

DOI10.1007/3-540-61363-3_19zbMath1418.68149OpenAlexW1598058335MaRDI 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

zbMATH Keywords

binary decision diagramasynchronous circuitreachability graphinput placelocal configuration

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

A structural approach for the analysis of Petri Nets by reduced unfoldings

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

This page was built for publication: A structural approach for the analysis of Petri Nets by reduced unfoldings