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

Based on the Petri net definitions and theorems already formalized in the Mizar article [13], in this article we were able to formalize the definition of cell Petri nets. It is based on [12]. Colored Petri net has already been defined in [11]. In addition, the conditions of the firing rule and the colored set to this definition, that defines the cell Petri nets are further extended to CPNT.i fu...

Petri nets have been widely used to model dynamic systems, namely manufacturing systems. In this paper we introduce the use of Petri nets to model robotic tasks. Diierent views of the robotic task model can be modeled by distinct Petri net types: interpreted Petri nets for task design and execution, generalized stochastic Petri nets for task quantitative performance evaluation and ordinary Petr...

Modern window-based user interfaces are actually a special kind of reactive system, and Petri nets may be fruitfully used to design such user computer dialogues. This paper describes a software engineering tool aimed at supporting the use of high-level Petri nets for the specification, design and implementation of user interfaces in an event-driven interface system. We assess the rationale for ...

In the long history of Petri nets a universe of Petri nets has evolved consisting of an enormously rich theory, a wide variety of tools, and numerous successful applications and case studies in various application domains. This vast variety is not any more handable for anyone working with Petri nets, which results in the strong need of a structured access to Petri nets. This structured access h...

The firing rule of Petri nets relies on a residuation operation for the commutative monoid of natural numbers. We identify a class of residuated commutative monoids, called Petri algebras, for which one can mimic the token game of Petri nets to define the behaviour of generalized Petri net whose flow relation and place contents are valued in such algebraic structures. We show that Petri algebra...

Introducing modularity in order to analyze a net means finding methods to decompose it into subnets such that properties of the net can be deduced from properties of these subnets. The aim of this paper is to develop a unified approach for deriving some of the fundamental properties of the global net from the properties of its components for certain types of Petri nets such as Place/Transition ...

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