For the most recent entries see the Petri Nets Newsletter.

Extension of Petri nets for simulation of real-time parallel processes.

Baev, V.V.

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

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography