The Community for Technology Leaders
Green Image
ABSTRACT
<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>
INDEX TERMS
environment relationship nets; high-level Petri net; time-critical systems; timing; ER nets; time notation; specification support environment; formal specification; Petri nets; software tools
CITATION
D. Mandrioli, M. Pezze, C. Ghezzi, S. Morasca, "A Unified High-Level Petri Net Formalism for Time-Critical Systems", IEEE Transactions on Software Engineering, vol. 17, no. , pp. 160-172, February 1991, doi:10.1109/32.67597
88 ms
(Ver 3.3 (11022016))