Abstract
Petri Nets and the synchronized products of transition systems introduced by Arnold and Nivat are two closely related models of concurrent systems. The second one is used to model finite state systems whose analysis is made on a “behavioural” basis: evaluation of state properties expressed in some temporal logic on the state graph of the system. On the other hand, Petri Nets model infinite state systems, and their analysis is often made on a “structural” basis. But, as soon as the number of states of a finite-state system is so large that it cannot be encoded in the memory of the machine, it is indeed infinite. A way of dealing with such a situation could be to proceed to structural analysis, borrowing concepts from Petri Nets Theory.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
A. Arnold. Finite transition systems. Semantics of communicating sytems. Prentice-Hall, 1994.
A. Arnold, D. Bégay, P. Crubillé. Construction and analysis of transition systems with MEC. World Scientific Pub., 1994.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Arnold, A. (1998). Synchronized Products of Transition Systems and Their Analysis. In: Desel, J., Silva, M. (eds) Application and Theory of Petri Nets 1998. ICATPN 1998. Lecture Notes in Computer Science, vol 1420. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-69108-1_2
Download citation
DOI: https://doi.org/10.1007/3-540-69108-1_2
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-64677-8
Online ISBN: 978-3-540-69108-2
eBook Packages: Springer Book Archive