scholarly journals A Forward On-The-Fly Approach in Controller Synthesis of Time Petri Nets

10.5772/47744 ◽  
2012 ◽  
Author(s):  
Parisa Heidari ◽  
Hanifa Boucheneb
Keyword(s):  
Petri Nets ◽  
Controller Synthesis ◽  
Time Petri Nets

Maximally permissive controller synthesis for time Petri nets

2013 ◽  
Vol 86 (3) ◽  
pp. 493-511 ◽  
Author(s):  
Parisa Heidari ◽  
Hanifa Boucheneb
Keyword(s):  
Petri Nets ◽  
Controller Synthesis ◽  
Time Petri Nets

scholarly journals Controller Synthesis of Time Petri Nets Using Stopwatch

2013 ◽  
Vol 2013 ◽  
pp. 1-13 ◽  
Author(s):  
Parisa Heidari ◽  
Hanifa Boucheneb
Keyword(s):  
Complex Systems ◽  
Petri Nets ◽  
Petri Net ◽  
Controller Synthesis ◽  
Preemptive Scheduling ◽  
Time Petri Nets ◽  
Shared Resources ◽  
Time Petri Net ◽  
Ordinary Time ◽  
The Given

Scheduling is often a difficult task specially in complex systems. Few tools are targeted at both modeling and scheduling of the systems. In controller synthesis, a scheduler is seen as a controller to manage shared resources and timing requirements of a system. This paper proposes a time Petri net-based approach for controller synthesis and finding a scheduler using stopwatch. The solution suggested here is particularly interesting for preemptive scheduling purposes. This paper deals with time Petri nets with controllable and uncontrollable transitions and assumes that a controllable transition can be suspended and retrieved when necessary. In fact, the paper supposes that every controllable transition can be associated with stopwatch. With this hypothesis, the objective is to model a system by time Petri nets and calculate subintervals where the system violates the given property. Then, the controller associates the corresponding controllable transitions with stopwatch to suspend them in their bad subintervals. The interesting advantage of this solution is that this approach synthesizes an ordinary time Petri net model before adding stopwatch. Therefore, complicated computations and overapproximations required during controller synthesis of time Petri nets associated with stopwatch are avoided.

scholarly journals IdentifyTPN: a tool for the identification of Time Petri nets

2017 ◽  
Vol 50 (1) ◽  
pp. 5843-5848
Author(s):  
F. Basile ◽  
P. Chiacchio ◽  
J. Coppola
Keyword(s):  
Petri Nets ◽  
Time Petri Nets

scholarly journals Modeling of safe time Petri nets by interval weighted automata

2020 ◽  
Vol 53 (4) ◽  
pp. 187-192
Author(s):  
Jan Komenda ◽  
Aiwen Lai ◽  
José Godoy Soto ◽  
Sébastien Lahaye ◽  
Jean-louis Boimond
Keyword(s):  
Petri Nets ◽  
Time Petri Nets ◽  
Weighted Automata
Sign in / Sign up

Export Citation Format

Share Document