In this paper. Conserved nets which are a subclass of Petri nets is proposed to fa­ cilitate the modeling, analysis, and simulation of FMSs. Conserved nets ensure that a Petri net model has the conservativeness property. From the structural characteristics of Conserved nets, liveness conditions are easily obtained. While hardware compo­ nents of FMSs are modeled by using Conserved nets, high-le...

Petri nets are a general and well-established model of concurrent and distributed computation and behaviour, including that taking place in biological systems. In this survey paper, we are concerned with intrinsic relationships between Petri nets and two formal models inspired by aspects of the functioning of the living cell: membrane systems and reaction systems. In particular, we are interest...

We propose a framework for the specification of infinite state systems based on Petri nets with distinguishedmayandmust-transitions (called modalities) which specify the allowed and the required behavior of refinements and hence of implementations. Formally, refinements are defined by relating the modal language specifications generated by two modal Petri nets according to the refinement relati...

Petri nets provide a powerful abstraction to specify and consequently analyze complex distributed systems. Petri nets can also be used in functioning systems to control processes and to manage the ow of data. RTNet, the software described in this paper, directly embeds a petri net into a distributed system and allows for real-time interaction of the petri net with other parts of the system. RTN...

Queueing Petri nets are a powerful formalism that can be exploited for modeling distributed systems and analyzing their performance and scalability. By combining the modeling power and expressiveness of queueing networks and stochastic Petri nets, queueing Petri nets provide a number of advantages. In this paper, we present Version 2.0 of our tool QPME (Queueing Petri net Modeling Environment) ...

A framework of integrated expert systems based on fuzzy Petri net, called fuzzy Petri net based expert system (FPNES) are proposed for bridge damage assessment. Major features of FPNES include: reasoning for uncertain and imprecise information; knowledge representation through the use of hierarchical fuzzy Petri nets; reasoning mechanism based on fuzzy Petri nets; and explanation of reasoning p...

Workflow management promises a new solution to an age-old problem: controlling, monitoring, optimizing and supporting business processes. What is new about workflow management is the explicit representation of the business process logic which allows for computerized support. This paper discusses the use of Petri nets in the context of workflow management. Petri nets are an established tool for ...

Preface The aim of the workflow management is to help business goals to be achieved with high efficiency by means of sequencing work activities and invoking appropriate resources associated to these activities. Therefore, workflow management is both a key technology in supporting business processes and an effective means to realize full or partial automation of a business process. Despite many ...