The Petri net model is a powerful state transition oriented model to analyse, model and evaluate asynchronous and concurrent systems. However, like other state transition models, it encounters the state explosion problem. The size of the state space increases exponentially with the system complexity. This paper is concerned with a method of abstracting automatically Petri nets to simpler repres...

This paper tackles the problem of the verification of the correctness of Real Time systems. In our approach a Real Time system is modeled as a timed Petri net. We specify requirements using another type of timed Petri net and the observation function that maps transitions in one net into another. The paper introduces both timed Petri net models, defines partial and total correctness and present...

A polynomial algorithm that translates a Petri net into an equivalent (bisimilar) statechart is presented. The translation preserves the structure of the Petri net. Key property of the algorithm is that it is structural and does not use any Petri net analysis technique. The algorithm is formally proven correct. Though not every statechart equivalent to a net is constructible by the algorithm, t...

Despite the recent rapid progress in high throughput measurements of biological data, it is still difficult to gather all of the reaction speed data in biological pathways. This paper presents a Petri net-based algorithm that can derive estimated values for non-valid reaction speeds in a signaling pathway from biologically-valid data. In fact, these reaction speeds are reflected based on the de...

The paper introduces an approach for realizing high-level Petri net-models in SystemC. The presented approach contributes to an existing methodology for the Petri net-based design of distributed embedded real-time systems. It is intended to be a vehicle for realizing Petri net-components in hardware. The paper describes the use of standard SystemC language constructs to realize the firing of a ...

A Markovian Petri net is a stochastic discrete event system (DES) frequently used for analysis and performance evaluation purposes. In the past, the fluidification has been proposed in different DES’s as a relaxation technique for avoiding the ”state explosion problem”. Following the same approach, in this paper a hybrid Petri net model is defined as a partial relaxation of an original Markovia...

This paper presents an approach to constructing a class of an SPR net for modeling, simulation and control of processes occurring in the flexible manufacturing system (FMS) used based elementary siphons of a Petri net. Siphons are very important to the analysis and control of deadlocks of FMS that is significant objectives of siphons. Petri net models in the efficiency structure analysis, and u...

In a previous work, we applied the theory of regions to design optimal Petri net controller by adding so-called control places to the plant Petri net model with uncontrolable transitions and forbidden states. Unfortunately, such a simple controlplace-based solution does not always exist. In the present paper, we propose a new approach for designing optimal controller for ordinary bounded Petri ...