The complexity of biological regulatory networks often defies the intuition of the biologist and calls for the development of proper mathematical methods to model their structures and to give insight in their dynamical properties. One qualitative approach consists in modelling regulatory networks in terms of logical equations (using either Boolean or multi-level discretisations). The Petri Net ...

    Discrete event system,   Supervisory control,   Petri Net, Constraint   This paper presents a method to manage the time in a manufacturing system for obtaining an optimized model. The system in this paper is modeled by the timed Petri net and the optimization is performed based on the structural properties of Petri nets. In a system there are some states which are called forbidden states an...

In this paper, a structured development approach to deriving system models that helps to better understand and represent system details is presented. Real-world systems are never completely designed by either top-down or bottom up approaches. Therefore, methods that allow the integration of these two approaches as well as provide a means for analyzing such models are very useful. First, a gener...

ion as suggested by the conditions of this paper is not computationally expensive. For anygiven re ned PN bN there might be many possible candidates for the abstracted PN N and the live,MGPN eN that satis es the requirements of this paper. However, nding a candidate abstractedPN N with the smallest coverability graph can be computationally expensive.The coverability grap...

The paper presents the results of the project Petri Net Web-based Laboratory (PN Web-Lab) that has been developed for the training of the Control Engineering students in discrete-event systems (DES) modelled by Petri nets. The main objectives envisaged by the PN Web-Lab are: the simulation, analysis and design of DES within a familiar framework (using any Java-supported Internet browser), the i...

The aim of this paper is to evaluate the predicted reliability of mechatronic systems, by taking into account the epistemic uncertainties. The work reported here presents a new methodology based on integrating the belief functions in the Petri net (PN) model, in order to create a belief network, and to show how to propagate the parametric uncertainties in reliability models. Some notions of unc...

due to the changes which may occur in their parameters, systems are usually demonstrated by some subsystems for different conditions. this paper employs modified petri nets (mpn) to model theses subsystems and makes it simple to analyze them. in this method, first, the continuous transfer function is converted to a discrete transfer function and then, by mpn, system is modeled and analyzed. all...

A Petri net (PN) (Pe::erson, 1981; Reisig, 1985) is said to be live if it is possible to fire any transition from every reachable marking, although not: necessarily immediately. A free-choice Petri net (FCPN) is a PN, where every arc from a place to a transition is either t~e unique output arc from that place or it is the unique input arc to the transition. Commoner's Liveness Theorem (cf. Hack...

EXTENDED ABSTRACT: This paper introduces a new modeling paradigm for developing decision process representation called Decision Process Petri Nets (DPPN). It extends the place-transitions Petri net theoretic approach by including the Markov decision process. Placetransitions Petri nets (PN) are used for process representation taking advantage of the formal semantic and the graphical display. Ma...