Hybrid Functional Petri Net with Extension for Dynamic Pathway Modeling

In this paper we present a survey on methods for the synthesis of Petri nets from behavioral descriptions given as languages. We consider place/transition Petri nets, elementary Petri nets and Petri nets with inhibitor arcs. For each net class we consider classical languages, step languages and partial languages as behavioral description. All methods are based on the notion of regions of languages. We identify two different types of regions and two different principles of computing from the set of regions of a language a finite Petri net generating this language. For finite or regular languages almost each combination of Petri net class, language type, region type and computation principle can be considered to compute such a net. Altogether, we present a framework for region-based synthesis of Petri nets from languages which integrates almost all known approaches and fills several remaining gaps in literature.

The synthesis problem of concurrent systems is the problem of synthesizing a concurrent system model from sequential observations. The paper studies the synthesis problem for elementary Petri nets and transition systems. A characterization of the class of transition systems which correspond to elementary Petri nets is proven. It is shown how to generate all elementary Petri nets corresponding to a given transition system. If there is any such elementary Petri net, it is proven that there always exists a small one which has only polynomially many elements in the size of the transition system.

We present in this paper a traffic model based on Petri nets and minplus algebra. A Petri net is represented by two matrices one in standard algebra and the other in minplus algebra. Then a system point of view is developed based on a matrix product combining these two algebras. Introducing inputs and outputs on transitions and places we can link two Petri nets by associating outputs with inputs of the two systems. This linking corresponds to a contraction operator. Combining elementary systems with this contraction operator we can build large systems. This point of view is used to define the traffic dynamics of a regular town from three elementary Petri nets.

Petri net is said to be elementary if every place can contain no more than one token. In this paper, it is studied topological properties of the elementary Petri net for a pipeline consisting of n functional devices. If the work of the functional devices is considered continuous, we can come to some topological space of “intermediate” states. In the paper, it is calculated the homology groups of this topological space. By induction on n, using the Addition Sequence for homology groups of semicubical sets, it is proved that in dimension 0 and 1 the integer homology groups of these nets are equal to the group of integers, and in the remaining dimensions are zero. Directed homology groups are studied. A connection of these groups with deadlocks and newsletters is found. This helps to prove that all directed homology groups of the pipeline elementary Petri nets are zeroth.

A Petri net with controller is used to model discrete events in flexible job shop scheduling, the objective of scheduling problems is to minimize make-span, the scheduling results is obtained based on genetic and Tabu Search (TS) algorithm. It is proved capable of providing optimized schedule to the job-shop where the machine tool and manpower resources are both constrained. After crossover and mutation operations, an optimal or suboptimal scheduling plan can be found. The result of the test shows that this method is feasible and efficient. Job shop scheduling is the primary content and critical technology of the production management of CIMS, in the past during 30 years, a lot of researchers and results focus on it, but most of them deal with single objective and resource scheduling problems which are fixed processing route and constrained by machine, and production period is its optimal objective. Nevertheless, the production styles are variable and processing route is determined under the special condition. Moreover, job shop scheduling problem is the most difficult combined constraints optimal problem and typical NP hard problem which can't be solved in polynomial time by an effective algorithm. Up to date, there are some traditional algorithms to solve JSP problem (1-2). About paper (3), Petri net is used to construct JSP model and L1 which combines branch and bound algorithm with dynamic program is used to search its optimal solution. And paper (4), the job sequence is assigned by genetic code firstly, and then filtered beam search which based on breadth-first algorithm is adopted to search. In recent years, the Petri net as a discrete event dynamic system modeling and analysis tool(5), has been successfully applied to the flexible manufacturing system modeling, analysis and control. Some researchers put forward to be based on Petri network scheduling method, but only on the production line itself can not reflect the modeling, as in the production line of external control scheduling strategy influence. A hybrid algorithm is proposed to solve dual-resource scheduling problem in flexible production environment, and Petri net model with a controller, which can effectively model control. It combines the advantage of global search ability of GA with the self-adaptive merit of Tabu Search (TS) and improves its convergence. It is proved capable of global and part searching ability and efficient.

A deadlock avoidance supervisory controller for Discrete Event (DE) Systems is implemented. The DE controller uses a novel rule-based matrix dispatching formulation (US patent received). This matrix formulation makes it easy to write down the DE controller from standard manufacturing tools such as the bill of materials or the assembly tree. It is shown that the DE controller's matrix form equations plus the Petri Net (PN) marking transition equation provide a complete dynamical description of DE systems. We provide circular wait analysis (CW) for deadlock-free dispatching rules for Multipart Re-entrant Flow line (MRF) regular systems, and provide a regularity test for these systems in PN and matrix notations. We analyse the so-called critical siphons, and certain critical subsystems to develop a DE controller that guaranties deadlock-free dispatching by limiting the work-in-progress in the critical subsystems associated with each CW. This least-restrictive dispatching policy avoids deadlock. The deadlockfree dispatching rules are implemented by the DE controller on a three-robot, two-machine re-entrant flow line, the Intelligent Material Handling cell at the Automation and Robotics Research Institute of UTA. Technical information given includes the development of the deadlock-free controller in LabVIEW.

We propose rewriting logic as a unifying framework for a wide range of nets models. We treat in detail place/transition nets and important extensions of the basic model by individual tokens, test arcs, and time. Based on the idea that Petri nets are monoids suggested by Meseguer and Montanari we define a rewriting semantics that maps place/transition nets into rewriting logic specifications. We furthermore generalize this result to a general form of algebraic net specifications subsuming also colored nets as a special case. The soundness and completeness results we state relate the commutative process semantics of nets proposed by Best and Devillers to the model-theoretic semantics of rewriting logic in the sense of natural isomorphisms between suitable functors. In addition we show how place/transition nets with test arcs and timed nets can be equipped with a rewriting semantics and discuss how other extensions can be treated along similar lines. Beyond the conceptual unification of quite different kinds of nets within a single framework, the rewriting semantics can provide a guide for future extensions of nets and help to cope with the growing diversity of models in this field. On the practical side, a major application of the rewriting semantics is its use as a logical and operational representation of net models for formal verification and for the efficient execution and analysis using a rewriting engine such as Maude, which also allows us to specify different execution and analysis strategies in the same rewriting logic language by means of reflection.

In this paper we focused our attention on a particular hybrid PN model called FOHPN, that is based on the fluidification of discrete PNs, and whose main feature is that the instantaneous firing speed of continuous transitions keeps constant during each macroperiod. In the first part of the paper we discuss in detail the advantages of fluidification, and provide a brief survey of the most important formalisms within the hybrid PN framework. Finally, we showed how FOHPNs can be efficiently used to model SC, and how interesting optimization problems can be solved via numerical simulation, by simply solving on-line a certain number of LPPs.

The aim of this work is the modeling and verification of concurrent systems subject to dynamic changes using extensions of Petri nets. We begin by introducing the notion of net rewriting system. In a net rewriting system, a system configuration is described as a Petri net and a change in configuration is described as a graph rewriting rule. We show that net rewriting systems are Turing powerful, that is, the basic decidable properties of Petri nets are lost and, thus, automatic verification in not possible for this class. A subclass of net rewriting systems are reconfigurable Petri nets. In a reconfigurable Petri net, a change in configuration amounts to the modification of the flow relations of the places in the domain of the involved rule according to this rule, independently of the context in which this rewriting applies. We show that reconfigurable Petri nets are formally equivalent to Petri nets. This equivalence ensures that all the fundamental properties of Petri nets are still decidable for reconfigurable Petri nets and this model is thus amenable to automatic verification tools. Therefore, the expressiveness of both models is the same, but, with reconfigurable Petri nets, we can easily and directly model systems that change their structure dynamically.

The use of shared resources is a major problem occurring in discrete event (DE) systems, including manufacturing systems, computer systems, communication systems, highway/vehicle systems, and others. The issues involve problems of assignment of resources when the same resources are simultaneously requested by more than one job. Failure to suitably assign, or dispatch, resources in such situations can have serious deleterious effects on system performance, resulting in extreme cases in system deadlock [7]. Computer operating systems engineers and industrial engineers have used the concepts of circular wait (CW) and circular blocking in analysis of such phenomena [41, 24]. Various concepts in Petri nets (PN) are extremely useful for dealing with deadlock and a great deal of research has been done from the PN point of view (see references, especially [11, 14, 19]). The PN approaches are often based on the notion of the siphon, which indeed is called a “deadlock” in some works [26]. Unfortunately, it is known that many problems in scheduling, dispatching, and deadlock analysis are NP-hard [12], so that significant increases in computing power do not significantly improve computational ability. Neither PN nor CW approaches have addressed this issue.

The emergence of Supply Chains (SCs) is an outcome of the recent advances in logistics and information technology. SCs are complex networks interconnecting different independent manufacturing and logistics companies integrated with material, information and financial flows (Viswanadham & Raghavan, 2000). Typically, SC management decisions are classified into three hierarchical levels according to the time horizon of decisions: strategic (longterm), tactical (medium-term), and operational (short-term, real-time) (Chopra & Meindl, 2001; Shapiro, 2001). Accordingly, different models have to be defined at each level of the decision hierarchy to describe the multiple aspects of the SC. While the development of formal models for SC design at strategic and tactical levels was addressed in the related literature (Dotoli et al., 2005; Dotoli et al., 2006; Gaonkar & Viswanadham, 2001; Luo et al., 2001; Vidal & Goetschalckx, 1997; Viswanadham & Gaonkar, 2003), research efforts are lagging behind in the subject of modeling and analyzing the SC operational performance. At the operational level, SCs can be viewed as Discrete Event Dynamical Systems (DEDSs), whose dynamics depends on the interaction of discrete events, such as customer demands, departure of parts or products from entities, arrival of transporters at facilities, start of assembly operations at manufacturers, arrival of finished goods at customers etc (Viswanadham & Raghavan, 2000). Among the available DEDS analytical formalisms, Petri Nets (PNs) may be singled out as a graphical and mathematical technique to model systems concurrency and synchronization. Moreover, PNs are able to capture precedence relations and structural interactions and may be executed in standard engineering software packages simply implementing their dynamics via the corresponding matrix equations. However, most SC models based on PNs proposed in the related literature share the limitation that products are modelled by means of discrete quantities, called tokens (Desrochers et al., 2005; Dotoli & Fanti, 2005; Elmahi et al., 2003; Viswanadham & Raghavan, 2000; Von Mevius & Pibernik, 2004; Wu & O’Grady, 2005). This assumption is not realistic in large systems with a huge amount of material flow: the state space of the SC model generally turns out to be excessively large, so that inconveniences in the simulation and performance optimization often arise, leading to large computational efforts. Since SCs are DEDSs whose number of reachable states is very large, PN formalisms using fluid approximations provide an

Petri net (PN) is a classical tool for modeling, simulation, and analysis. With the emergence of distributed manufacturing system (DMS), PN has been evolved into different forms such as colored PN (CPN) and timed PN (TPN). To fulfill the practical requirements, CPN has been extended to a larger and more complex model. Meanwhile, DMS becomes an important issue for industry, and how to model a complex manufacturing network for better throughput needs further investigation. A simple single type of PN only cannot fulfill all contemporary requirements at the same time. This paper proposes a new concept for a new PN-hierarchical timed CPN (HTCPN), which can be a powerful tool for modeling, simulation, and analysis for current large complex distributed manufacturing system. This paper presents a general structure of DMS and uses HTCPN to model the manufacturing system as discrete event with dynamic behavior. The proposed approach shows superiority on modeling large complex manufacturing system as it represents the material flow and transitions clearly and provides overview and detailed description for DMS.

Summary Biological systems are often very complex so that an appropriate formalism is needed for modeling their behavior. Hybrid Petri Nets, consisting of time-discrete Petri Net elements as well as continuous ones, have proven to be ideal for this task. Therefore, a new Petri Net library was implemented based on the object-oriented modeling language Modelica which allows the modeling of discrete, stochastic and continuous Petri Net elements by differential, algebraic and discrete equations. An appropriate Modelica-tool performs the hybrid simulation with discrete events and the solution of continuous differential equations. A special sub-library contains so-called wrappers for specific reactions to simplify the modeling process.The Modelica-models can be connected to Simulink-models for parameter optimization, sensitivity analysis and stochastic simulation in Matlab.The present paper illustrates the implementation of the Petri Net component models, their usage within the modeling process and the coupling between the Modelica-tool Dymola and Matlab/Simulink. The application is demonstrated by modeling the metabolism of Chinese Hamster Ovary Cells.

Aspect-oriented design of sensor networks

Modelling automated manufacturing systems using a modification of coloured petri nets