Reduced state space representation for unbounded vector state spaces
- 1 January 1996
- book chapter
- Published by Springer Nature
- p. 230-248
- https://doi.org/10.1007/3-540-61363-3_13
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Partial-order methods for temporal verificationPublished by Springer Nature ,1993
- On structural conditions for weak persistency and semilinearity of Petri netsTheoretical Computer Science, 1992
- Sequential circuit verification using symbolic model checkingPublished by Association for Computing Machinery (ACM) ,1990
- Petri nets: Properties, analysis and applicationsProceedings of the IEEE, 1989
- Graph-Based Algorithms for Boolean Function ManipulationIEEE Transactions on Computers, 1986
- On weak persistency of petri netsInformation Processing Letters, 1981
- Binary Decision DiagramsIEEE Transactions on Computers, 1978
- Parallel program schemataJournal of Computer and System Sciences, 1969