Stubborn sets for reduced state space generation
- 1 January 1991
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
- p. 491-515
- https://doi.org/10.1007/3-540-53863-1_36
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Predicate/transition netsPublished by Springer Science and Business Media LLC ,2006
- Coloured Petri netsPublished by Springer Science and Business Media LLC ,2006
- Place/transition systemsPublished by Springer Science and Business Media LLC ,2006
- Elementary net systemsPublished by Springer Science and Business Media LLC ,2006
- A stubborn attack on state explosionPublished by American Mathematical Society (AMS) ,1991
- Eliminating redundant interleavings during concurrent program verificationLecture Notes in Computer Science, 1989
- Distributed cooperation with action systemsACM Transactions on Programming Languages and Systems, 1988
- Petri nets: Basic notions, structure, behaviourLecture Notes in Computer Science, 1986
- Petri NetsPublished by Springer Science and Business Media LLC ,1985
- A Theory of Communicating Sequential ProcessesJournal of the ACM, 1984