This paper presents a new two-phase approach for Petri Net based modeling of scheduling problems. Though Petri Nets have been used as heuristic approach for modeling scheduling problems, literature study reveals two major difficulties: 1) the large size of Petri Net models, and 2) the inability to differentiate workstations. In this paper, these two difficulties are avoided by a two-phase appro...

Based on Petri net modelling and linear logic as formal framework, ESA PetriNet allows to carry out dependability analysis of discrete (based on temporal Petri nets modelling) or hybrid systems (differential predicate-transition Petri nets modelling). ESA PetriNet implements the approach for critical scenarios deriving. The approach is based on a qualitative analysis of Petri net model. It cons...

The methods of modeling and control of discrete event robotic manufacturing cells using Petri nets are considered, and a methodology of decomposition and coordination is presented for hierarchical and distributed control. Based on task specification, a conceptual Petri net model is transformed into the detailed Petri net model, and then decomposed into constituent local Petri net based controll...

Petri net transformations have been defined formally in the abstract framework of adhesive HLR categories, which allows rule-based rewriting of graphlike structures, similar to graph transformation. In this paper we discuss differences between Petri net rewriting and graph rewriting which makes it necessary to add checks and conditions when implementing Petri net transformations using an existi...

Negotiations have recently been introduced as a model of concurrency with multi-party negotiation atoms as primitive. This paper studies the relation between negotiations and Petri nets. In particular, we show that each negotiation can be translated into a 1-safe labelled Petri net with equivalent behaviour. In the general case, this Petri net is exponentially larger than the negotiation. For d...

This paper introduces and describes a new extension to Petri-Nets that provide additional mechanisms for the modeling of dynamic, distributed and concurrent behavior. The extensions provide for the creation and destruction of conventional Petri-Net Places and Transitions providing dynamic behavior of Petri-Net operation. We call this new Petri-Net model Dynamic Petri-Nets (DPN). With this new m...

In this paper we tackle the decidability of marking reachability for a hybrid formalism based on Petri nets. The model we consider is the untimed version of First–Order Hybrid Petri Nets: it combines a discrete Petri net and a continuous Petri net, the latter being a fluid version of a usual discrete Petri net. It is suggested that the decidability results should be pursued exploiting a hierarc...

SUMMARY To investigate biomolecular networks, Snoopy provides a unifying Petri net framework comprising a family of related Petri net classes. Models can be hierarchically structured, allowing for the mastering of larger networks. To move easily between the qualitative, stochastic and continuous modelling paradigms, models can be converted into each other. We get models sharing structure, but s...

Petri-Net is widely used in the field of modeling a flexible manufacturing system (FMS) because of its intrinsic features such as concurrency, uynchronization, conflict, and eventtriggering. But designing a Petri-Net Model for an FMS is extremely tedious and difficult for debugging. Therefore, an automatic Petri-Net generator which can generate a bug-free model for an FMS is rather useful and p...

Component-based software engineering needs to be backed by thorough formal concepts and modeling techniques. This paper combines two concepts introduced independently by the two authors in previous papers. On one hand, the concept of Petri net modules introduced at IDPT 2002 in Padberg (2002), and on the other hand a generic component framework for system modeling introduced at FASE 2002 in Ehr...