Interval Timed Coloured Petri
نویسنده
چکیده
Practical experiences show that only timed and coloured Petri nets are capable of modelling large and complex real-time systems. This is the reason we present the Interval Timed Coloured Petri Net (ITCPN) model. An interval timed coloured Petri net is a coloured Petri net extended with time; time is in tokens and transitions determine a delay for each produced token. This delay is speciied by an upper and lower bound, i.e. an interval. The ITCPN model allows the modelling of the dynamic behaviour of large and complex systems, without losing the possibility of formal analysis. In addition to the existing analysis techniques for coloured Petri nets, we propose a new analysis method to analyse the temporal behaviour of the net. This method constructs a reduced reachability graph and exploits the fact that delays are described by an interval.
منابع مشابه
Interval Timed Coloured Petri Nets and their Analysis
Practical experiences show that only timed and coloured Petri nets are capable of modelling large and complex real-time systems. This is the reason we present the Interval Timed Coloured Petri Net (ITCPN) model. An interval timed coloured Petri net is a coloured Petri net extended with time; time is in tokens and transitions determine a delay for each produced token. This delay is specified by ...
متن کاملModellvalidierung von zeitbegrenzten logistischen Prozessketten mit Interval Timed Coloured Petri Nets
Durch Zeitrestriktionen in logistischen Prozesskettenmodellen wird die Spezifikation der Anforderungen an Dienstleistungen oder in Transportketten integrierte Informationssysteme vereinfacht. Der neue zeitliche Aspekt birgt bei Modellerstellung auch die Gefahr, unbemerkt strukturelle Fehler in das Modell zu bringen. Eine simulative Analyse garantiert nicht die Erkennung dieser Fehler. Es wird e...
متن کاملUsing Interval Petri Nets and Timed Automata for Diagnosis of Discrete Event Systems (DES)
A discrete event system (DES) is a dynamic system that evolves in accordance with the abrupt occurrence, at possibly unknown irregular intervals, of physical events. Because of the special nature of these systems, different tools are currently used for their analysis, design and modeling. The main focus of this paper is the presentation of a new modeling approach of Discrete Event Systems. The ...
متن کاملUsing Interval Timed Coloured Petri
Nearly all existing techniques in the eld of performance evaluation provide estimates (i.e. average and variation) for performance measures like: response times, throughput times, occupations rates, etc. However, when evaluating the design of a time-critical system, we are particularly interested in accurate bounds for these performance measures. We are concerned with the maximal response time ...
متن کاملEquivalent Coloured Petri Net Models of a Class of Timed Influence Nets with Logic
This paper discusses coloured Petri net models of so-called timed influence nets with logic. Previous work has developed a method to translate a timed influence net into a coloured Petri net. The work in this paper describes a new and more compact translation from timed influence nets with logic into coloured Petri nets. The translation has the property that the net structure of the coloured Pe...
متن کامل