Traffic systems are discrete systems that can be heavily populated. One way of overcoming the state explosion problem inherent to such heavily populated discrete systems is to relax the discrete model. Continuous Petri nets (PN) represent a relaxation of the original discrete Petri nets that leads to a very compositional and efficient formalism to model traffic behaviour in between intersection...

to monitor the patient behavior, data are collected from patient’s body by a medical monitoring device so as to calculate the output using embedded software. incorrect calculations may endanger the patient’s life if the software fails to meet the patient’s requirements. accordingly, the veracity of the software behavior is a matter of concern in the medicine; moreover, the data collected from t...

A Petri Net (PN) is said to be live if it is possible to re any transition from every reachable marking, although not necessarily immediately. Under appropriate conditions, a non-live PN can be made live via supervision. Under this paradigm an external-agent, the supervisor, prevents the ring of certain transitions at each reachable marking so as to enforce liveness. A PN is said to be complete...

Petri Net (PN) is effective graphical, mathematical, simulation, and control tool for Discrete Event Systems (DES). But, with the growth in the complexity of modern industrial, and communication systems, PN found themselves inadequate to address the problems of uncertainty, and imprecision in data. This gave rise to amalgamation of Fuzzy logic with Petri nets and a new tool emerged with the nam...

This paper presents a novel method to derive a Petri Net from any specification model that can be mapped into a statebased representation with arcs labeled with symbols from an alphabet of events (a Transition System, TS). The method is based on the theory of regions for Elementary Transition Systems (ETS). Previous work has shown that, for any ETS, there exists a Petri Net with minimum transit...

In order to assist the performance evaluation of complex stochastic models, automatic program tools are developed since a long time. An effective model description language, supported by several software tools, is the stochastic Petri Net (SPN). But the attention to the analytical description and the numerical analysis of non-Markovian stochastic Petri Net models arose only recently. There are ...

This paper presents a novel method to derive a Petri net from any specification model that can be mapped into a state-based representation with arcs labeled with symbols from an alphabet of events (a Transition System, TS). The method is based on the theory of regions for Elementary Transition Systems (ETS). Previous work has shown that for any ETS there exists a Petri net with minimum transiti...

This paper presents a new approach to computer image generation via three proposed methods for translating the evolution of a Petri net into fractal image synthesis. The idea is derived from the concept of fractal iteration principles in the escape-time algorithm and chaos game. The approach uses a Petri net as a powerful abstract modeling tool for fractal image synthesis via its duality, deadl...

The PEP tool embeds sophisticated programming and veriication components in a user-friendly graphical interface. The basic idea is that the programming component allows the user to design concurrent algorithms in an imperative language, and that the PEP system then generates Petri nets from such programs in order to use Petri net theory for simulation and veriication purposes. A key feature is ...

Formal methods help the development of secure systems by reducing ambiguities in security policy specifications and providing mathematical verification tools. By the formal verification, it is possible to confirm security related properties hold in a system. In this paper, we propose an interpretation of Coloured Petri Net(CPN) [1], [2] with security considerations for the formal specification ...