System analysis is often needed with respect to both qualitative and quantitative aspects. In the last decades, several formalisms have been developed that attempt to combine these aspects in one description. Present emphasis is on Stochastic Petri Nets. Amongst others, one disadvantage of these formalisms lies with the diiculties when describing scheduling strategies with Petri Net elements. T...

Ordinary t-timed modular Petri Nets are used for modeling, analysis, synthesis and performance evaluation of random topology dedicated production systems. Each system is first decomposed into production line, assembly, disassembly and parallel machine modules followed by derivation of their modular Petri Net models. Two sets of modules, generic and generalized respectively, are derived correspo...

Asynchronous data communication mechanisms (ACMs) have been extensively studied as data connectors between independently timed concurrent processes. In previous work, an automatic ACM synthesis method based on the generation of the reachability graph and the theory of regions was proposed. In this paper, we propose a new synthesis method based on the composition of Petri net modules, avoiding t...

Some insight on the meaning of \modeling power" for Stochastic Petri Net models is given. Extensions characterizing a Stochastic Petri Net are categorized as logical or stochas-tic. Three logical constructs are shown to be equivalent: inhibitor arcs, transition priorities, and enabling functions associated with the transitions. A direct transformation of Petri Nets with inhibitor arcs into Petr...

The flexible architecture provided by holonic manufacturing systems (HMS) poses challenges in planning and control of production processes. The challenges are due, in part, to the loosely coupled structure of holons and also to the complex interactions among holons. Development of new methodologies is required to optimize the holonic processes in HMS to achieve the objectives. In this paper, we...

Some insight on the meaning of “modeling power” for Stochastic Petri Net models is given. Extensions characterizing a Stochastic Petri Net are categorized as logical or stochastic. Three logical constructs are shown to be equivalent: inhibitor arcs, transition priorities, and enabling functions associated with the transitions. A direct transformation of Petri Nets with inhibitor arcs into Petri...

Implementation of complex, real-world systems is usually preceded by extensive studies of their formal models. For systems which exhibit concurrent activities, Petri nets are a popular choice of modeling formalism, because of their ability to express concurrency, synchronization, precedence constraints and nondeterminism. Moreover, Petri nets “with time” (stochastic or timed) include the durati...

This paper deals with verification of timed and untimed linear properties of the Interval Timed Colored Petri Net model. This model can simulate other timed colored Petri nets and allows describing large and complex real-time systems. We propose here to contract its generally infinite state space into a graph that captures all linear properties of the model. The resulting graph is finite iff, t...

Petri nets (Murata, 1989) (Peterson, 1991) have been widely used to model various discrete event systems (Moody & Antsaklis, 1998). Characterized as concurrent, asynchronous, distributed, parallel, nondeterministic, and/or stochastic (Murata, 1989), Petri nets have gained more and more applications. However, when they are used to analyze and model systems of different domains, the shortages of ...