In: Rozenberg, G.: Lecture Notes in Computer Science, Vol. 424; Advances in Petri Nets 1989, pages 51-76. Berlin, Germany: Springer-Verlag, 1990.
Abstract: The behaviour of distributed systems with temporal constraints can be analyzed by means of the Time Petri Nets. The author shows that this approach leads to sequential observation of the system. Generally, each subsystem is synchronous: its evolutions are controlled by a ``synchronizing'' event. The communications between subsystems are asynchronous. To tackle the modelling problem raised by these systems, the author introduces a low level model that integrates synchronization contraints. This model is called ``Synchronized Elementary Net System''. Extending the notion of process, it is explained how to obtain non-sequential observations of these sytems.
Keywords: synchronized elementary net system; time net; non-sequential observation.