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...

This work treats the relationship between Petri Nets and languages. In 2003, Darondeau solved the Petri Net synthesis problem for a certain class of languages, i. e. for a given language L of this class he constructed a Petri Net generating the least Petri Net language containing L. Furthermore, he developed a decision procedure which tests for equality of these two languages. It is proved here...

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...

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...