*For the most recent entries see the
Petri Nets Newsletter.*

## Synchronized Products of Transition Systems and Their Analysis.

Arnold, André
In:
Desel, J.; Silva, M.: *Lecture Notes in Computer Science, Vol. 1420: 19th Int. Conf. on Application and Theory of Petri Nets, ICATPN'98, Lisbon, Portugal, June 1998*, pages 26-27.
Berlin: Springer-Verlag,
June 1998.

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.

*Do you need a refined search? Try our search engine
which allows complex field-based queries.*
*Back to the Petri Nets Bibliography*