<  Back to the Polytechnique Montréal portal

Controller synthesis of time petri nets using stopwatch

Parisa Heidari, Hanifa Boucheneb

Article (2013)

Open Acess document in PolyPublie and at official publisher
Open Access to the full text of this document
Published Version
Terms of Use: Creative Commons Attribution
Download (720kB)
Show abstract
Hide abstract


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 tomanage 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 dealswith time Petri nets with controllable and uncontrollable transitions and assumes that a controllable transition can be suspended and retrievedwhen 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.
Subjects: 2700 Information technology > 2700 Information technology
Department: Department of Computer Engineering and Software Engineering
PolyPublie URL: https://publications.polymtl.ca/3635/
Journal Title: Journal of Engineering (vol. 2013)
Publisher: Hindawi
DOI: 10.1155/2013/970487
Official URL: https://doi.org/10.1155/2013%2f970487
Date Deposited: 20 Feb 2019 13:10
Last Modified: 23 May 2023 12:49
Cite in APA 7: Heidari, P., & Boucheneb, H. (2013). Controller synthesis of time petri nets using stopwatch. Journal of Engineering, 2013, 1-13. https://doi.org/10.1155/2013%2f970487


Total downloads

Downloads per month in the last year

Origin of downloads


Repository Staff Only

View Item View Item