Add to ORKGThis work concerns the tracking of timing perturbations in discrete event dynamic systems (DEDS) modeled by timed Petri nets (TPN). Necessary conditions are presented for tracking perturbations in TPNs in which timings are only available for a set of monitor transitions
. Processes of timed Petri nets are represented by labelled partial orders with some extra features....
A novel framework is introduced for the supervisory control (SC) of timed discrete event systems, ba...
In Time Petri nets (TPNs), time and control are tightly connected: time measurement for a transition...
The complexity of tracking perturbations in discrete event dynamic systems (DEDS) depends on the sys...
The use of an observer in Petri net control may significantly reduce the performance of the closed-l...
Petri nets are a standard for modeling concurrency and process tracking. They are directed graphs th...
In previous chapters, Place/Transition nets have been used to model Discrete Event Systems with the ...
This article concerns faults detection and isolation for timed stochastic discrete event systems mod...
This paper presents a performance-regulation method for a class of stochastic timed event-driven sys...
Timed Petri nets are considered in this paper, with the aim of providing an efficient tool for the m...
International audienceWe propose an extension of Recursive Petri Nets (TRPNs) based on the semantics...
A novel framework is introduced for the supervisory control (SC) of timed discrete event systems bas...
1 Introduction Petri nets [16,11] are a formalism for modeling and analyzing distributed and concurr...
Discusses controlled timed Petri net models for the formal synthesis of supervisory controllers for ...
. Processes of timed Petri nets are represented by labelled partial orders with some extra features....
A novel framework is introduced for the supervisory control (SC) of timed discrete event systems, ba...
In Time Petri nets (TPNs), time and control are tightly connected: time measurement for a transition...
The complexity of tracking perturbations in discrete event dynamic systems (DEDS) depends on the sys...
The use of an observer in Petri net control may significantly reduce the performance of the closed-l...
Petri nets are a standard for modeling concurrency and process tracking. They are directed graphs th...
In previous chapters, Place/Transition nets have been used to model Discrete Event Systems with the ...
This article concerns faults detection and isolation for timed stochastic discrete event systems mod...
This paper presents a performance-regulation method for a class of stochastic timed event-driven sys...
Timed Petri nets are considered in this paper, with the aim of providing an efficient tool for the m...
International audienceWe propose an extension of Recursive Petri Nets (TRPNs) based on the semantics...
A novel framework is introduced for the supervisory control (SC) of timed discrete event systems bas...
1 Introduction Petri nets [16,11] are a formalism for modeling and analyzing distributed and concurr...
Discusses controlled timed Petri net models for the formal synthesis of supervisory controllers for ...
. Processes of timed Petri nets are represented by labelled partial orders with some extra features....
A novel framework is introduced for the supervisory control (SC) of timed discrete event systems, ba...
In Time Petri nets (TPNs), time and control are tightly connected: time measurement for a transition...