In: Automatic Control and Computer Sciences, 24 (1990) 6,, pages 38-42. 1990.
Abstract: The author proposes an extension of Petri nets (the PN-net), that makes it possible to simulate parallel synchronous real-time processes. PN-nets incorporate the concept of simultaneity of execution of processes, and make it possible to describe the durations of execution of processes in a specified time scale. Within the framework of PN-nets, the problem of zero checking is solved; the solvability of the N-attainability problem is formulated and proved, which has a bearing on simulation of systems with finite lifetime. It is shown that PN-nets can be used to investigate the execution of data exchange protocols in data transmission systems