For the most recent entries see the Petri Nets Newsletter.

A Unified High-Level Petri Net Formalism for Time-Critical Systems.

Ghezzi, C.; Mandrioli, D.; Morasca, S.; Pezzè, M.

In: IEEE Transactions on Software Engineering, Vol. 17, No. 2, pages 160-172. February 1991.

Abstract: The authors introduce a high-level Petri net formalism: environment/relationship (ER) nets, which can be used to specify control, function, and timing issues. In particular, they discuss how time can be modeled via ER nets by providing a suitable axiomatization. They use ER nets to define a time notation that is shown to generalize most time Petri-net-based formalisms. They discuss how ER nets can be used in a specification support environment for a time-critical system.

Keywords: (unified) high-level net; time-critical system; environment/relationship net axiomatization; time net; time-critical system.

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

Back to the Petri Nets Bibliography