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.

A unified high-level Petri net formalism for time-critical systems

MORASCA, SANDRO;
1991-01-01

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 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.
Environment relationship nets; ER nets; formal specification; high-level petri net; performance; Petri nets; real-time systems; embedded systems; software tools; time notation; time-critical systems; timing
Ghezzi, C.; Mandrioli, D.; Morasca, Sandro; Pezze, M.
File in questo prodotto:
File Dimensione Formato  
TSE1991GhezziMandrioliMorascaPezze-e0160.pdf

non disponibili

Tipologia: Documento in Post-print
Licenza: DRM non definito
Dimensione 1.3 MB
Formato Adobe PDF
1.3 MB Adobe PDF   Visualizza/Apri   Richiedi una copia

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11383/1759591
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 225
  • ???jsp.display-item.citation.isi??? 140
social impact