Controller Synthesis of Time Petri Nets Using Stopwatch
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-...
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Wiley
2013-01-01
|
| Series: | Journal of Engineering |
| Online Access: | http://dx.doi.org/10.1155/2013/970487 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1849308172799442944 |
|---|---|
| author | Parisa Heidari Hanifa Boucheneb |
| author_facet | Parisa Heidari Hanifa Boucheneb |
| author_sort | Parisa Heidari |
| collection | DOAJ |
| description | 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. |
| format | Article |
| id | doaj-art-0dc5410c6e73483393fa6d9af7c8382d |
| institution | Kabale University |
| issn | 2314-4904 2314-4912 |
| language | English |
| publishDate | 2013-01-01 |
| publisher | Wiley |
| record_format | Article |
| series | Journal of Engineering |
| spelling | doaj-art-0dc5410c6e73483393fa6d9af7c8382d2025-08-20T03:54:30ZengWileyJournal of Engineering2314-49042314-49122013-01-01201310.1155/2013/970487970487Controller Synthesis of Time Petri Nets Using StopwatchParisa Heidari0Hanifa Boucheneb1Laboratoire VeriForm, Department of Computer Engineering, Ecole Polytechnique de Montréal, P.O. Box 6079, Station Centre-ville, Montréal, QC, H3C 3A7, CanadaLaboratoire VeriForm, Department of Computer Engineering, Ecole Polytechnique de Montréal, P.O. Box 6079, Station Centre-ville, Montréal, QC, H3C 3A7, CanadaScheduling 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.http://dx.doi.org/10.1155/2013/970487 |
| spellingShingle | Parisa Heidari Hanifa Boucheneb Controller Synthesis of Time Petri Nets Using Stopwatch Journal of Engineering |
| title | Controller Synthesis of Time Petri Nets Using Stopwatch |
| title_full | Controller Synthesis of Time Petri Nets Using Stopwatch |
| title_fullStr | Controller Synthesis of Time Petri Nets Using Stopwatch |
| title_full_unstemmed | Controller Synthesis of Time Petri Nets Using Stopwatch |
| title_short | Controller Synthesis of Time Petri Nets Using Stopwatch |
| title_sort | controller synthesis of time petri nets using stopwatch |
| url | http://dx.doi.org/10.1155/2013/970487 |
| work_keys_str_mv | AT parisaheidari controllersynthesisoftimepetrinetsusingstopwatch AT hanifaboucheneb controllersynthesisoftimepetrinetsusingstopwatch |