Open AccessBook
Discrete, continuous, and hybrid Petri Nets
Ren David,Hassane Alla +1 more
- 23 Nov 2004
1K
TL;DR: This monograph presents a well written and clearly organized introduction in the standard methods of Petri Nets with the aim to reach an accurate understanding of continuous and hybrid Petri nets, while preserving the consistency of basic concepts throughout the book.
read more
Abstract: Petri Nets were introduced and still successfully used to analyze and model discrete event systems especially in engineering and computer sciences such as in automatic control. Recently this discrete Petri Nets formalism was successfully extended to continuous and hybrid systems. This monograph presents a well written and clearly organized introduction in the standard methods of Petri Nets with the aim to reach an accurate understanding of continuous and hybrid Petri Nets, while preserving the consistency of basic concepts throughout the book. The book is a monograph as well as a didactic tool which is easy to understand due to many simple solved examples and detailed figures. In its second completely reworked edition various sections, concepts and recently developed algorithms are added as well as additional examples/exercises.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
Evaluation of predicted fault tolerance based on C5.0 decision tree algorithm in irrigation system of paddy fields
Majid Rahi,Ali Ebrahimnejad,Homayun Motameni +2 more
TL;DR: The proposed approach is a comprehensive online component-oriented method to evaluate predicted fault tolerance in an irrigation system of paddy fields based on C5.0 decision tree algorithm.
3
Discrete event control and fault detection and localization of a robotic system
Hamdi A. Awad,Mostafa M. Gomaa,Ahmed R. Anwar +2 more
- 01 Dec 2009
TL;DR: A robotic system at the discrete event level requires a suitable discrete event controller that guarantees coordination and dead lock avoidance and also a robust system of fault detection and localization based on minimum feedback information.
3
On the origin of deadlocks in robotic cycle shop control
Wolfgang Meyer,Claudia Fiedler +1 more
- 10 Feb 2009
TL;DR: A modular approach to deadlock control based on Petri net representations is presented and a great range of practically important scheduling tasks can be solved which theoretically are NP-hard.
3
Petrinetzmodell für die Formalisierung von GRAFCET-Spezifikationen
Frank Schumacher,Alexander Fay +1 more
TL;DR: Der nachfolgende Beitrag stellt einen Ansatz vor, wie GRAFCET-Spezifikationen systematisch formalisiert werden können, anderswo wird eine automatische Generierung of SPS-Code aus G RAFCET möglich.
3
Diagnose de falhas em sistemas a eventos discretos modelados por autômatos finitos
João Carlos Basilio,Lilian K. Carvalho,Marcos V. Moreira +2 more
- 01 Oct 2010
TL;DR: This tutorial presents the background necessary to the study and research on fault diagnosis of discrete-event systems modeled as automata, and presents tests using diagnosers and verifiers.