Journal ArticleDOI
Firing and enabling sequences estimation for timed Petri nets
Dimitri Lefebvre,A. El Moudni +1 more
- Vol. 31, Iss: 3, pp 153-162
Reads0
Chats0
TLDR
This work deals with the estimation of firing and enabling sequences for timed transition PNs with unknown time delays with exact and approximated solutions that are described.Abstract:
Petri nets (PNs) are useful tools for the modeling and analysis of discrete event systems. This work deals with the estimation of firing and enabling sequences for timed transition PNs with unknown time delays. The marking and reserved marking of the places are measured online. The estimation problem has exact and approximated solutions that are described. Sufficient conditions are given on the measurement accuracy of the marking and reserved marking vectors, so that the estimation of firing and enabling sequences is an exact one. If the estimation provides several solutions, the PN is extended in order to give a unique solution. Numerical aspects of the estimation are also investigated. As a consequence of this, the proposed method provides interesting tools for the modeling, performance analysis, and above all the monitoring of manufacturing systems and road traffic networks.read more
Citations
More filters
Book
Transportation network analysis
Michael G.H. Bell,恭敬 飯田 +1 more
TL;DR: This book presents a coherent approach to the analysis of transportation networks based on the concept of network equilibrium and the application of convex programming methods, and indicates promising areas for further research.
Journal ArticleDOI
Diagnosis of DES With Petri Net Models
TL;DR: This paper focuses on faulty behaviors modeled with ordinary Petri nets with some "fault" transitions, and methods are proposed to decide, in a systematic way, if the considered failures can be detected and isolated according to the existing sensors.
Journal ArticleDOI
Automated Pipe Defect Detection and Categorization Using Camera/Laser-Based Profiler and Artificial Neural Network
TL;DR: This research shows that positional as well as intensity information, related to potential defects, can be extracted from the acquired laser projections, and describes novel strategies created for the automation of defect classification in tubular structures.
Journal ArticleDOI
Stochastic Petri Net Identification for the Fault Detection and Isolation of Discrete Event Systems
TL;DR: The main contribution concerns the design and identification of these models according to the statistical analysis of the alarm sequences that are collected on the considered system.
Journal ArticleDOI
Least-Cost Transition Firing Sequence Estimation in Labeled Petri Nets With Unobservable Transitions
TL;DR: Under the assumption that the unobservable transitions in the net form an acyclic subnet and have strictly positive costs, a recursive algorithm is developed that is able to find the least-cost firing sequence(s) by reconstructing only a finite number of firing sequences.
References
More filters
Book
Generalized inverses: theory and applications
Adi Ben-Israel,T. N. E. Greville +1 more
TL;DR: In this paper, the Moore of the Moore-Penrose Inverse is described as a generalized inverse of a linear operator between Hilbert spaces, and a spectral theory for rectangular matrices is proposed.
Journal ArticleDOI
Process fault detection based on modeling and estimation methods-A survey
TL;DR: This contribution presents a brief summary of some basic fault detection methods, followed by a description of suitable parameter estimation methods for continuous-time models.
Book
Generalized inverses of linear transformations
TL;DR: In this article, the Moore-Penrose or generalized inverse has been applied to the theory of finite Markov chains, and applications of the Drazin inverse have been discussed.