Maximally permissive controller synthesis for time Petri nets

References

• Abid , CA and Zouari , B . 2010 . Synthesis of Controllers for Symmetric Systems . International Journal of Control , 83 : 2354 – 2367 . doi: 10.1080/00207179.2010.520415
   Web of Science ®Google Scholar
• Altisen , K , Bouyer , P , Cachat , T , Cassez , F and Gardey , G . 2005 . Introduction Au Contrôledes Systèmes Temps-réel . Journal Européen des Systemes Automatises , 39 : 367 – 380 . doi: 10.3166/jesa.39.367-380
   Google Scholar
• Badouel , E , Bernardinello , L and Darondeau , P . 1995 . Polynomial Algorithms for the Synthesis of Bounded Nets . 6th International Joint Conference CAA/FASE . 1995 . pp. 364 – 378 .
   Google Scholar
• Bakule , L . 2008 . Decentralised Control: An Overview . Annual Reviews in Control , 32 : 87 – 98 . doi: 10.1016/j.arcontrol.2008.03.004
   Web of Science ®Google Scholar
• Bengtsson , J . (2002), ‘Clocks, DBMs and States in Timed Systems’, dissertation, Uppsala Universitet, Sweden
   Google Scholar
• Berthomieu , B and Diaz , M . 1991 . Modeling and Verification of Time-dependent Systems using Time Petri Nets . IEEE Transactions on Software Engineering , 17 : 259 – 273 . doi: 10.1109/32.75415
   Web of Science ®Google Scholar
• Berthomieu , B and Vernadat , F . 2003 . State Class Constructions for Branching Analysis of Time Petri Nets . 9th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) . 2003 . pp. 442 – 457 .
   Google Scholar
• Boucheneb , H , Gardey , G and Roux , OH . 2009 . TCTL Model Checking of Time Petri Nets . Journal of Logic and Computation , 6 : 1509 – 1540 . doi: 10.1093/logcom/exp036
   Google Scholar
• Boyer , M . and Vernadat, F. (2000), ‘Language and Bisimulation Relations Between Subclasses of Timed Petri Nets with Strong Timing Semantic’, Technical report, LAAS
   Google Scholar
• Buy , U and Darabi , H . 2003 . Deadline-enforcing Supervisory Control for Time Petri Nets . IMACS Multiconference on Computational Engineering in Systems Applications (CESA) . 2003 .
   Google Scholar
• Buy , U , Darabi , H , Lehene , M and Venepally , V . 2005 . Supervisory Control of Time Petri Nets using Net Unfolding . 29th Annual International Computer Software and Applications Conference (COMPSAC), Vol. 2 . 2005 . pp. 97 – 100 .
   Google Scholar
• Cassez , F , David , A , Fleury , E , Larsen , KG and Lime , D . 2005 . Efficient On-the-fly Algorithms for the Analysis of Timed Games . 16th International Conference on concurrency theory . 2005 . pp. 66 – 80 .
   Google Scholar
• Gardey , G . Roux, O.E., and Roux, O.H. (2006), ‘Safety Control Synthesis for Time Petri Nets’, in 8th International Workshop on Discrete Event Systems, pp. 22–28
   Google Scholar
• Ghaffari , A , Rezg , N and Xie , X . 2003 . Design of a Live and Maximally Permissive Petri Net Controller using the Theory of Regions . IEEE Transactions on Robotics and Automation , 19 : 137 – 141 . doi: 10.1109/TRA.2002.807555
   Google Scholar
• Heidari , P and Boucheneb , H . 2010 . Efficient Method for Checking the Existence of a Safety/Reachability Controller for Time Petri Nets . 10th International Conference on Application of Concurrency to System Design (ACSD) . 2010 . pp. 201 – 210 .
   Google Scholar
• Iordache , MV and Antsaklis , PJ . 2010 . Concurrent Program Synthesis Based on Supervisory Control . The American Control Conference (ACC) . 2010 . pp. 3378 – 3383 .
   Google Scholar
• Jensen , K and Rozenberg , G . 1991 . High-level Petri Nets: Theory and Application’ .
   Google Scholar
• Letia , TS , Hulea , M and Cuibus , O . 2012 . Controller Synthesis Method for Discrete Event Systems . IEEE International Conference on Automation, Quality and Testing, Robotics, AQTR 2012 – Proceedings . 2012 . pp. 85 – 90 .
   Google Scholar
• Merlin , PM . (1974), ‘A Study of the Recoverability of Computing Systems’, Ph.D. Dissertation, University of California, Iruine, US
   Google Scholar
• Penczek , W and Polrola , A . 2004 . Specification and Model Checking of Temporal Properties in Time Petri Nets and Timed Automata . 25th International Conference on Application and Theory of Petri Nets . 2004 . Vol. 3099 , pp. 37 – 76 . LNCS .
   Google Scholar
• Ramadge , PJ and Wonham , WM . 1987 . Supervisory Control of a Class of Discrete Event Processes . SIAM Journal on Control and Optimization , 25 : 206 – 230 . doi: 10.1137/0325013
   Web of Science ®Google Scholar
• Roux , OH . Lime, D., Haddad, S., Cassez, F., and Berard, B. (2005), ‘Comparison of Different Semantics for Time Petri Nets’, in 3rd Automated Technology for Verification and Analysis, pp. 293–307
   Google Scholar
• Sathaye , AS and Krogh , BH . 1993 . Synthesis of Real-time Supervisors for Controlled Time Petri Nets . 32nd Conference on Decision and Control . 1993 . Vol. 1 , pp. 235 – 236 .
   Google Scholar
• Tripakis , S . (1998), ‘L'Analyse Formelle Des Systèmes Temporisés En Pratique’, Ph.D. Dissertation, Université Joseph Fourier – Grenoble 1 Sciences et Geographie
   Google Scholar
• Wong-Toi , H and Hoffmann , G . 1991 . The Control of Dense Real-time Discrete Event Systems . 30th IEEE Conference on Decision and Control Part 2 (of 3), Vol. 2 . 1991 . pp. 1527 – 1528 .
   Google Scholar
• Wu , N , Chu , C , Chu , F and Zhou , M . 2008 . Modeling and Schedulability Analysis of Singlearm Cluster Tools with Wafer Residency Time Constraints using Petri Net . International Conference on Networking, Sensing and Control . 2008 . pp. 84 – 89 .
   Google Scholar