The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.02 - February (1991 vol.17)
pp: 160-172
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
C. Ghezzi, D. Mandrioli, S. Morasca, M. Pezze, "A Unified High-Level Petri Net Formalism for Time-Critical Systems", IEEE Transactions on Software Engineering, vol.17, no. 2, pp. 160-172, February 1991, doi:10.1109/32.67597
15 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool