Model checking using net unfoldings
- 1 January 1993
- book chapter
- Published by Springer Nature
- p. 613-628
- https://doi.org/10.1007/3-540-56610-4_93
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Model checking of persistent Petri netsPublished by Springer Nature ,2005
- Branching processes of Petri netsActa Informatica, 1991
- A polynomial time algorithm to decide pairwise concurrency of transitions for 1-bounded conflict-free Petri netsInformation Processing Letters, 1991
- Stubborn sets for reduced state space generationPublished by Springer Nature ,1991
- On questions of fairness and temporal logic for conflict-free Petri netsPublished by Springer Nature ,1988
- Nonsequential ProcessesPublished by Springer Nature ,1988
- Petri nets, event structures and domains, part ITheoretical Computer Science, 1981