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.