Issue No. 02 - February (1991 vol. 17)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/32.67597
<p>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 which appeared in the literature. They discuss how ER nets can be used in a specification support environment for a time-critical system and, in particular, the kind of analysis supported.</p>
environment relationship nets; high-level Petri net; time-critical systems; timing; ER nets; time notation; specification support environment; formal specification; Petri nets; software tools
D. Mandrioli, M. Pezze, C. Ghezzi and S. Morasca, "A Unified High-Level Petri Net Formalism for Time-Critical Systems," in IEEE Transactions on Software Engineering, vol. 17, no. , pp. 160-172, 1991.