Preview
Unable to display preview. Download preview PDF.
References
A. V. Aho, J. E. Hopcroft, J. D. Ullman: The Design and Analysis of Computer Algorithms. Addison-Wesley (1974)
K. Hiraishi, A. Ichikawa: On Structural Conditions for Weak Persistency and Semilinearity of Petri Nets. Theoretical Computer Science, Vol. 93, 185–199 (1992)
A. Ichikawa, K. Hiraishi: Analysis and Control of Discrete Event Systems Represented by Petri Nets. Lecture Notes in Control and Information Sciences, No. 103, 115–134, Springer-Verlag (1987)
L. Landweber, E. Robertson: Properties of Conflict-free and Persistent Petri Nets. J. of ACM, 25-3, 352–364 (1978)
T. Murata: Petri Nets: Properties, Analysis and Applications. Proc. of the IEEE, Vol. 77, No. 4 (1989)
W. Reisig: Petri Nets. EATCS Monographs on Theoretical Computer Science, Vol. 4, Springer-Verlag (1985)
A. Valmari: Stubborn Sets for Reduced State Space Generation. Lecture Notes in Computer Sience, No. 483, Springer-Verlag, 491–515 (1990)
A. Valmari: Alleviating State Explosion During Verification of Behavioral Equivalence. Dept. of Comuter Science, Univ. of Helsinki, Report A-1992-4 (1992)
P. Wolper, P. Godefroid, D. Pirottin: A Tutorial on Partial-Order Methods for the Verification of Concurrent Systems. CAV93 Tutorial (1993).
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1994 Springer-Verlag London Limited
About this paper
Cite this paper
Hiraishi, K. (1994). Reduced state space generation of concurrent systems using weak persistency. In: Cohen, G., Quadrat, JP. (eds) 11th International Conference on Analysis and Optimization of Systems Discrete Event Systems. Lecture Notes in Control and Information Sciences, vol 199. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0033548
Download citation
DOI: https://doi.org/10.1007/BFb0033548
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-19896-3
Online ISBN: 978-3-540-39345-0
eBook Packages: Springer Book Archive