Petri nets exist for over 30 years. Especially in the last decade Petri nets have been put into practice extensively. Thanks to several useful extensions and the availability of computer tools, Petri nets have become a mature tool for modelling and analysing industrial systems. This paper describes an approach based on a high-level Petri net model, i.e. an extended version of the classical Petr...

ii Danksagung iii 1 Einleitung 1 1.1 Motivation 1 1.2 Petri-Netze 2 1.3 Aufgabenstellung und Beitrag 4 1.4 Aufbau der Arbeit 6 2 Modellierung von Fertigungssystemen 8 2.1 Anforderungen und Problemstellungen 8 2.2 Ein Beispiel-Fertigungssystem 11 2.3 Klassische Stochastische Petri-Netze 15 2.4 Farbige Petri-Netze 18 2.5 Andere Beschreibungsmittel 21 2.6 Einordnung der Arbeit 23 3 Modellierung vo...

Coloured Petri Nets are powerful models for different problems. This paper deals with the modelling of a Bluetooth communication network, piconet and scatternet. The developed Petri Net model is based on the Bluetooth Specification 1.1. The Petri Net model is structured in an hierarchical way. Thus, every part of the model, for example the channel model, is developed in a self-contained Petri N...

This paper introduces PeCAn, a tool supporting compositional verification of Petri nets. Beyond classical features (such as onthe-fly analysis and synchronisation between multiple Petri nets), PeCAn generates Symbolic Observation Graphs (SOG), and uses their composition to support modular abstractions of multiple Petri nets for more efficient verification. Furthermore, PeCAn implements an incre...

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...

La théorie des réseaux de Petri est née de la thèse de Carl Adam Petri [PE 62]. Mais, bien d’autres chercheurs ont contribué à ce qui est devenu “les réseaux de Petri”. Certains sont explicitement partis des travaux de Carl Adam Petri, les ont légèrement modifiés et ont développé les notions que ce dernier avait introduites. D’autres ont menés indépendamment des travaux sur la représentation et...

We present a definition for a generic Time Petri net class covering most Time Petri net types known to the community. Due to the generic approach presented in this paper, the proposed syntax may as well be used as a proposal for an expression syntax of High-level Petri nets. Furthermore we present an implementation of translations between different Statically Timed Petri nets based on the prese...

Petri nets exist for over 30 years. Especially in the last decade Petri nets have been put into practice extensively. Thanks to several useful extensions and the availability of computer tools, Petri nets have become a mature tool for modelling and analysing industrial systems. This paper describes an approach based on a high-level Petri net model, i.e. an extended version of the classical Petr...

We motivate and study the subnet reduction of Petri nets. Subnet reduction can avoid the state exploration problem by guaranteeing the correctness in the Petri net. For systems specified in Petri nets, this paper proposes two subnet reduction methods. One major advantage of these reduction methods is that the resultant ordinary Petri net is guaranteed to be live, bounded and reversible. A group...

Petri nets are useful for modelling a variety of asynchronous and concurrent systems, such as automated manufacturing, computer fault tolerant systems, and communication networks. This study employs an airbag inflator system as an example to demonstrate a Petri net approach to failure analysis. This paper uses Petri nets to study minimum cut sets finding, marking transfer, and dynamic behaviour...