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

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

Dynamically Evolvable Dependable Software: From Oxymoron to Reality

“…The project and Ugo's leadership have also been a source of inspiration for the first author, who was working on modelling concurrency and real-time Ada's constructs [30] at the time, and then developed a research line on verifiable real-time systems [14,33].…”

Graph Transformation with Time: Causality and Logical Clocks

“…In particular, we will follow the approach of time ER nets [10]. These are simple high-level nets which introduce time as a distinguished data type.…”

“…This relationship, which has first been observed in the case of algebraic high-level nets [7] and attributed graph transformation [16] in [17], shall enable us to transfer the modelling of time in time ER nets to typed graph transformation with attributes. Next, we review time environment-relationship (TER) nets [10] in order to prepare for the transfer to typed graph transformation systems in Section 4.…”

“…In this paper we concentrate on one of them, time ER nets [10], which is chosen for its general approach of considering time as a token attribute with particular behaviour, rather than as an entirely new concept. As a consequence, time ER nets are a special case of ER nets.…”

Some issues in real-time systems verification using time Petri Nets

“…Other extended models (Aalst, 1993;Merlin and Faber, 1976;Ghezzi et al, 1991;Tsai, Yang and Chang, 1995;Cortes, Eles and Peng, 2003) are suitable to deal with real-time systems because of their ability to represent varying time durations of activities, by using timing intervals attached to transitions. Merlin's Time Petri Nets (TPN) belong to that class of system, and is the most widely used formalism for specification, analysis and verification of realPaper received 13 August 2010.…”