In the sequel M is a Petri net. Let us consider X , Y . Let us assume that X misses Y . The functor PTempty f (X ,Y ) yielding a strict Petri net is defined by: (Def. 4)2 PTempty f (X ,Y ) = 〈X ,Y, / 0〉. Let us consider X . The functor Tempty f (X) yields a strict Petri net and is defined by: (Def. 5) Tempty f (X) = PTempty f (X , / 0). The functor Pempty f (X) yields a strict Petri net and is ...

Petri net schemata are an intuitive and expressive approach to describe high-level Petri nets. A Petri net schema is a Petri net with edges and transitions inscribed by terms and Boolean expressions, respectively. A concrete high-level net is gained by interpreting the symbols in the inscriptions by a structure. Its semantics can then be described in terms of a transition system. Therefore, the...

In this paper we present a Petri-net-based approach to consider anticipated faults in real-time distributed systems. The proposed approach is based on Fuzzy Time G-Nets which is the integration of two Petri Nets extensions: Fuzzy Time Petri Net (timing Petri net extension) and G-Nets (Petri net extended with object oriented concepts). We also show that Fuzzy Time G-Nets can be used to represent...

We motivate and study the synthesis of Petri nets. Petri net synthesis can avoid the state exploration problem by guaranteeing the correctness in the Petri net while incrementally expanding the net. For systems specified in Petri nets, this paper proposes a synthesis method. One major advantage of this synthesis technique is that the resultant ordinary Petri net is guaranteed to be structural l...

to evaluate and predict component-based software security, a two-dimensional model of software security is proposed by stochastic petri net in this paper. in this approach, the software security is modeled by graphical presentation ability of petri nets, and the quantitative prediction is provided by the evaluation capability of stochastic petri net and the computing power of markov chain. each...

This review focusses on modelling of signal transduction pathways. It will introduce the general concepts of modelling and signal transduction, and then proceed with presenting the two most common approaches: Ordinary Di erential Equations (ODE) and Petri Nets (PN). Including an overview about some of the PN upgrades, such as Timed or Coloured Petri Nets, this review will show the major di eren...

Las redes de Petri (PN) pertenecen a una técnica que está ganando popularidad en diferentes sectores industriales, como el automotriz. En este manuscrito se explican brevemente las PN, su historia y algunas extensiones para aumentar capacidades la modelación. Asimismo, dos ejemplos modelos PN industria automotriz, uno verificación un software cálculo posicionamiento vehicular por GPS, segundo s...

In this paper we present a Petri-net-based approach to consider fault tolerance aspects in a modiied control track vehicle system. The proposed approach is based on Fuzzy Time G-Nets which is the integration of two Petri Nets extensions: Fuzzy Time Petri Net (timing Petri net extension) and G-Nets (Petri net extended with object oriented concepts). We also show how to model such system by means...

this ability in fuzzy uml, practically leaves the customers and market’s need without response in this important and vital area. here, the available sequence diagrams in fuzzy uml will map into fuzzy petri net. however, the formal models ability will be added to the semi-formal fuzzy uml. this formalization will add the automatic processing ability to the semi-formal fuzzy uml. further more, ...