Advanced search
Publication Cover
International Journal of Control Volume 86, 2013 - Issue 3
Submit an article Journal homepage
163
Views
9
CrossRef citations to date
0
Altmetric
Original Articles

Maximally permissive controller synthesis for time Petri nets

Parisa Heidari Laboratoire VeriForm, Department of Computer Engineering, École Polytechnique de Montréal, P.O. Box 6079, Station Centre-ville, Montréal, QC H3C 3A7, CanadaCorrespondence[email protected]
&
Hanifa Boucheneb Laboratoire VeriForm, Department of Computer Engineering, École Polytechnique de Montréal, P.O. Box 6079, Station Centre-ville, Montréal, QC H3C 3A7, Canada
Pages 493-511 | Received 07 Mar 2012, Accepted 20 Oct 2012, Published online: 08 Jan 2013

Citations (9)

Keep up to date with the latest research on this topic with citation updates for this article.

Subscribe to citation updates

Read on this site (1)

Liang Li, Yaqiong Li, Bin Liu & Weimin Wu. (2023) Least-cost transition sequence estimation in labelled time Petri net systems with unobservable transitions. International Journal of Control 96:12, pages 2976-2989.
Read now

Articles from other publishers (8)

Liang Li, Mingxi Deng, Bin Liu & Zhiwu Li. (2024) State estimation in labeled time Petri net systems using observed modified state class graph. Information Sciences 656, pages 119922.
Crossref
Loriane Leclercq, Didier Lime & Olivier H. Roux. 2023. Application and Theory of Petri Nets and Concurrency. Application and Theory of Petri Nets and Concurrency 393 414 .
Francesco Basile, Roberto Cordone & Luigi Piroddi. (2022) Supervisory Control of Timed Discrete-Event Systems With Logical and Temporal Specifications. IEEE Transactions on Automatic Control 67:6, pages 2800-2815.
Crossref
Liang Li, Francesco Basile & Zhiwu Li. (2021) Closed-Loop Deadlock-Free Supervision for GMECs in Time Petri Net Systems. IEEE Transactions on Automatic Control 66:11, pages 5326-5341.
Crossref
Liang Li, Zhiwu Li & Jipeng Wang. (2021) An approach for enforcing a class of GMECs on time Petri nets with uncontrollable transitions. Information Sciences 580, pages 897-916.
Crossref
Liang Li, Francesco Basile & Zhiwu Li. (2020) An Approach to Improve Permissiveness of Supervisors for GMECs in Time Petri Net Systems. IEEE Transactions on Automatic Control 65:1, pages 237-251.
Crossref
Parisa Heidari, Hanifa Boucheneb & Abdallah Shami. (2015) A Formal Approach for QoS Assurance in the Cloud. A Formal Approach for QoS Assurance in the Cloud.
Parisa Heidari & Hanifa Boucheneb. (2013) Controller Synthesis of Time Petri Nets Using Stopwatch. Journal of Engineering 2013, pages 1-13.
Crossref

Reprints and Corporate Permissions

Please note: Selecting permissions does not provide access to the full text of the article, please see our help page How do I view content?

To request a reprint or corporate permissions for this article, please click on the relevant link below:

Order Reprints Request Corporate Permissions

Academic Permissions

Please note: Selecting permissions does not provide access to the full text of the article, please see our help page How do I view content?

Obtain permissions instantly via Rightslink by clicking on the button below:

Request Academic Permissions

If you are unable to obtain permissions via Rightslink, please complete and submit this Permissions form. For more information, please visit our Permissions help page.

Related research

People also read lists articles that other readers of this article have read.

Recommended articles lists articles that we recommend and is powered by our AI driven recommendation engine.

Cited by lists all citing articles based on Crossref citations.
Articles with the Crossref icon will open in a new tab.