Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
125 | ZhiWu Li 0001, MengChu Zhou |
Control of Elementary and Dependent Siphons in Petri Nets and Their Application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Part A ![In: IEEE Trans. Syst. Man Cybern. Part A 38(1), pp. 133-148, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
125 | Zhiwu Li 0001, Mi Zhao |
On Controllability of Dependent Siphons for Deadlock Prevention in Generalized Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Part A ![In: IEEE Trans. Syst. Man Cybern. Part A 38(2), pp. 369-384, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
125 | ZhiWu Li 0001, MengChu Zhou |
Some results and open problems concerning elementary siphons of Petri nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC (2) ![In: Proceedings of the IEEE International Conference on Systems, Man & Cybernetics: The Hague, Netherlands, 10-13 October 2004, pp. 1717-1722, 2004, IEEE, 0-7803-8566-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
108 | ZhiWu Li 0001, MengChu Zhou |
Elementary siphons of Petri nets and their application to deadlock prevention in flexible manufacturing systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Part A ![In: IEEE Trans. Syst. Man Cybern. Part A 34(1), pp. 38-51, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
108 | Zhiwu Li 0001, Haibin Xia, Anrong Wang |
An effective deadlock prevention policy using elementary siphons of Petri nets for FMS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICARCV ![In: 8th International Conference on Control, Automation, Robotics and Vision, ICARCV 2004, Kunming, China, 6-9 December 2004, Proceedings, pp. 521-526, 2004, IEEE, 0-7803-8653-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
108 | ZhiWu Li 0001, XiangFeng Zhang |
A deadlock prevention approach using elementary siphons for a class of Petri nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC (2) ![In: Proceedings of the IEEE International Conference on Systems, Man & Cybernetics: The Hague, Netherlands, 10-13 October 2004, pp. 1728-1733, 2004, IEEE, 0-7803-8566-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
102 | ZhiWu Li 0001, MengChu Zhou |
On Siphon Computation for Deadlock Control in a Class of Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Part A ![In: IEEE Trans. Syst. Man Cybern. Part A 38(3), pp. 667-679, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
91 | Fernando Tricas, Joaquin Ezpeleta |
Computing minimal siphons in Petri net models of resource allocation systems: a parallel solution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Part A ![In: IEEE Trans. Syst. Man Cybern. Part A 36(3), pp. 532-539, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
91 | ZhiWu Li 0001, MengChu Zhou |
An Effective FMS Deadlock Prevention Policy based on Elementary Siphons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: Proceedings of the 2004 IEEE International Conference on Robotics and Automation, ICRA 2004, April 26 - May 1, 2004, New Orleans, LA, USA, pp. 3143-3148, 2004, IEEE. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
91 | ZhiWu Li 0001, YunAn Zhi, MengChu Zhou |
A polynomial algorithm to find a set of elementary siphons in a class of Petri nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC (5) ![In: Proceedings of the IEEE International Conference on Systems, Man & Cybernetics: The Hague, Netherlands, 10-13 October 2004, pp. 4861-4866, 2004, IEEE, 0-7803-8566-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
91 | ZhiWu Li 0001, Hesuan Hu, MengChu Zhou |
An algorithm for an optimal set of elementary siphons in Petri nets for deadlock control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC (5) ![In: Proceedings of the IEEE International Conference on Systems, Man & Cybernetics: The Hague, Netherlands, 10-13 October 2004, pp. 4849-4854, 2004, IEEE, 0-7803-8566-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
91 | ZhiWu Li 0001, Anrong Wang, Hua Lin |
A deadlock prevention approach for FMS using siphons and the theory of regions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC (6) ![In: Proceedings of the IEEE International Conference on Systems, Man & Cybernetics: The Hague, Netherlands, 10-13 October 2004, pp. 5079-5084, 2004, IEEE, 0-7803-8566-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
75 | Zhiwu Li 0001, Moshe Shpitalni |
A Deadlock Prevention Policy for FMS Using Elementary Siphons of Petri Nets with Uncontrollable Transitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNSC ![In: Proceedings of the IEEE International Conference on Networking, Sensing and Control, ICNSC 2008, Hainan, China, 6-8 April 2008, pp. 67-72, 2008, IEEE, 978-1-4244-1685-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
75 | ZhiWu Li 0001, MengChu Zhou |
Clarifications on the Definitions of Elementary Siphons in Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Part A ![In: IEEE Trans. Syst. Man Cybern. Part A 36(6), pp. 1227-1229, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
75 | Roberto Cordone, Luca Ferrarini, Luigi Piroddi |
Enumeration algorithms for minimal siphons in Petri nets based on place constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Part A ![In: IEEE Trans. Syst. Man Cybern. Part A 35(6), pp. 844-854, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
75 | Yi-Sheng Huang, Jenn-Huei Lin, Chien-Nin Hsu |
Comparison of deadlock prevention policies in FMS based on Petri nets siphons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC (5) ![In: Proceedings of the IEEE International Conference on Systems, Man & Cybernetics: The Hague, Netherlands, 10-13 October 2004, pp. 4867-4872, 2004, IEEE, 0-7803-8566-7. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
75 | Karsten Schmidt 0004 |
Verification of Siphons and Traps for Algebraic Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Application and Theory of Petri Nets 1997, 18th International Conference, ICATPN '97, Toulouse, France, June 23-27, 1997, Proceedings, pp. 427-446, 1997, Springer, 3-540-63139-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
THEORY: Analysis and synthesis, Higher level net models, structure and behaviour of nets |
75 | Kamel Barkaoui, Jean-François Pradat-Peyre |
On Liveness and Controlled Siphons in Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Application and Theory of Petri Nets ![In: Application and Theory of Petri Nets 1996, 17th International Conference, Osaka, Japan, June 24-28, 1996, Proceedings, pp. 57-72, 1996, Springer, 3-540-61363-3. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
75 | Joaquin Ezpeleta, Jean-Michel Couvreur, Manuel Silva Suárez |
A New Technique for Finding a Generating Family of Siphons, Traps and st-Components. Application to Colored Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Applications and Theory of Petri Nets ![In: Advances in Petri Nets 1993, Papers from the 12th International Conference on Applications and Theory of Petri Nets, Gjern, Denmark, June 1991, pp. 126-147, 1991, Springer, 3-540-56689-9. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
siphon, st-component, p-semiflow, Petri net, colored Petri net, trap |
58 | Li Jiao, To-Yat Cheung, Weiming Lu |
Characterizing Liveness of Petri Nets in Terms of Siphons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Applications and Theory of Petri Nets 2002, 23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002, Proceedings, pp. 203-216, 2002, Springer, 3-540-43787-8. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Asymmetric choice net, liveness monotonicity, siphon, Petri net, live, characterization, homogeneous |
53 | Spyros A. Reveliotis |
On the Siphon-Based Characterization of Liveness in Sequential Resource Allocation Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Applications and Theory of Petri Nets 2003, 24th International Conference, ICATPN 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings, pp. 241-255, 2003, Springer, 3-540-40334-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
sequential resource allocation systems, Petri net structural analysis, siphons, deadlock resolution |
51 | Luigi Piroddi, Roberto Cordone, Ivano Fumagalli |
Selective Siphon Control for Deadlock Prevention in Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Part A ![In: IEEE Trans. Syst. Man Cybern. Part A 38(6), pp. 1337-1348, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
51 | Z. W. Li, H. S. Hu, An R. Wang |
Design of Liveness-Enforcing Supervisors for Flexible Manufacturing Systems Using Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Part C ![In: IEEE Trans. Syst. Man Cybern. Part C 37(4), pp. 517-526, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
51 | Yi-Sheng Huang, Xiaolan Xie, Chien-Nin Hsu |
Modeling and Analysis of Manufacturing Systems using a New class of Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: Proceedings of the 2004 IEEE International Conference on Robotics and Automation, ICRA 2004, April 26 - May 1, 2004, New Orleans, LA, USA, pp. 554-559, 2004, IEEE. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
51 | Zhiwu Li 0001, Jingwei Liang, Yang Lu, Anrong Wang |
A deadlock prevention method for FMS with multiple resource acquisitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICARCV ![In: 8th International Conference on Control, Automation, Robotics and Vision, ICARCV 2004, Kunming, China, 6-9 December 2004, Proceedings, pp. 2117-2122, 2004, IEEE, 0-7803-8653-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
48 | Xiaoguang Han 0002, Zengqiang Chen 0001, Zhongxin Liu, Qing Zhang 0005 |
Calculation of Siphons and Minimal Siphons in Petri Nets Based on Semi-Tensor Product of Matrices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Syst. ![In: IEEE Trans. Syst. Man Cybern. Syst. 47(3), pp. 531-536, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
48 | Daniel Yuh Chao, Yen-Liang Pan |
Uniform formulas for compound siphons, complementary siphons and characteristic vectors in deadlock prevention of flexible manufacturing systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Manuf. ![In: J. Intell. Manuf. 26(1), pp. 13-23, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
48 | Qiaoli Zhuang, Wenzhan Dai |
A Fast Method for Extracting all Minimal Siphons from Maximal Unmarked Siphons of a Petri Net. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Softw. ![In: J. Softw. 9(3), pp. 582-588, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
48 | GaiYun Liu, Daniel Yuh Chao, Yao-Nan Lien |
Singular Formulas for Compound Siphons, Complementary Siphons and Characteristic Vectors for Deadlock Prevention in Cloud Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEKE ![In: Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), Hotel Sofitel, Redwood City, San Francisco Bay, USA July 1-3, 2012, pp. 359-362, 2012, Knowledge Systems Institute Graduate School, 1-891706-31-4. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP BibTeX RDF |
|
48 | ShouGuang Wang, MengChu Zhou, Chengying Wang |
Extracting all minimal siphons from maximal unmarked siphons in manufacturing-oriented Petri nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASE ![In: IEEE Conference on Automation Science and Engineering, CASE 2011, Trieste, Italy, Aug. 24-27, 2011, pp. 399-404, 2011, IEEE, 978-1-4577-1730-7. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
48 | Elia E. Cano, Carlos A. Rovetto, José Manuel Colom |
On the computation of the minimal siphons of S4PR nets from a generating family of siphons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETFA ![In: Proceedings of 15th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2010, September 13-16, 2010, Bilbao, Spain, pp. 1-8, 2010, IEEE, 978-1-4244-6848-5. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
41 | Karsten Schmidt 0004 |
Siphons, Traps and High-Level Nets with Infinite Color Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICATPN ![In: Application and Theory of Petri Nets 1997, 18th International Conference, ICATPN '97, Toulouse, France, June 23-27, 1997, Proceedings, pp. 271-289, 1997, Springer, 3-540-63139-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
THEORY: Analysis and synthesis, Higher-level net models, structure and behaviour of nets |
34 | ZhiWu Li 0001, MengChu Zhou |
Two-Stage Method for Synthesizing Liveness-Enforcing Supervisors for Flexible Manufacturing Systems Using Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Ind. Informatics ![In: IEEE Trans. Ind. Informatics 2(4), pp. 313-325, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
34 | Zhiwu Li 0001, Weixian Cao, Anrong Wang |
Analysis of a siphon-based deadlock prevention policy for flexible manufacturing systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICARCV ![In: 8th International Conference on Control, Automation, Robotics and Vision, ICARCV 2004, Kunming, China, 6-9 December 2004, Proceedings, pp. 515-520, 2004, IEEE, 0-7803-8653-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Van-Giang Trinh, Belaid Benhamou, Sylvain Soliman |
Trap spaces of Boolean networks are conflict-free siphons of their Petri net encoding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 971, pp. 114073, September 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
24 | Dan You, Oussama Karoui, Shouguang Wang |
Computation of Minimal Siphons in Petri Nets Using Problem Partitioning Approaches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE CAA J. Autom. Sinica ![In: IEEE CAA J. Autom. Sinica 9(2), pp. 329-338, 2022. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Erica Silvestri, Tommaso Volpi, Andrea Bettinelli, Mattia De Francisci, Judson Jones, Maurizio Corbetta, Diego Cecchin, Alessandra Bertoldo |
Image-derived Input Function in brain [18F]FDG PET data: which alternatives to the carotid siphons? ![Search on Bibsonomy](Pics/bibsonomy.png) |
EMBC ![In: 44th Annual International Conference of the IEEE Engineering in Medicine & Biology Society, EMBC 2022, Glasgow, Scotland, United Kingdom, July 11-15, 2022, pp. 243-246, 2022, IEEE, 978-1-7281-2782-8. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Van-Giang Trinh, Belaid Benhamou, Kunihiko Hiraishi, Sylvain Soliman |
Minimal Trap Spaces of Logical Models are Maximal Siphons of Their Petri Net Encoding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CMSB ![In: Computational Methods in Systems Biology - 20th International Conference, CMSB 2022, Bucharest, Romania, September 14-16, 2022, Proceedings, pp. 158-176, 2022, Springer, 978-3-031-15033-3. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
24 | Frantisek Capkovic |
Modelling and Control of Resource Allocation Systems within Discrete Event Systems by Means of Petri Nets - Part 1: Invariants, Siphons and Traps in Deadlock Avoidance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Informatics ![In: Comput. Informatics 40(3), 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
24 | Mahmoud Salaheldin Elsayed, Gaiyun Liu, Almetwally M. Mostafa, Abeer Ali Alnuaim, Passent Mohammed El-Kafrawy |
Fault-Recovery and Robust Deadlock Control of Reconfigurable Multi-Unit Resource Allocation Systems Using Siphons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 9, pp. 67942-67956, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
24 | Gaiyun Liu, Lingchun Zhang, Yuting Liu, Yufeng Chen 0001, Zhiwu Li 0001, Naiqi Wu |
Robust Deadlock Control for Automated Manufacturing Systems Based on the Max-Controllability of Siphons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 7, pp. 88579-88591, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
24 | Qiaoli Zhuang, Dan You, Wenzhan Dai, Shouguang Wang, Jingiing Du |
An iterative Deadlock Prevention Policy Based on siphons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNSC ![In: 16th IEEE International Conference on Networking, Sensing and Control, ICNSC 2019, Banff, AB, Canada, May 9-11, 2019, pp. 242-246, 2019, IEEE, 978-1-7281-0084-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
24 | Dan You, Shouguang Wang, Wenzhan Dai, Wenhui Wu, Yongshu Jia |
An Approach for Enumerating Minimal Siphons in a Subclass of Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 6, pp. 4255-4265, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
24 | Chen Chen 0009, Hesuan Hu |
Liveness-Enforcing Supervision in AMS-Oriented HAMGs: An Approach Based on New Characterization of Siphons Using Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 63(7), pp. 1987-2002, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
24 | Mengdi Gan, ShouGuang Wang, Zhijun Ding, MengChu Zhou, Wenhui Wu |
An Improved Mixed-Integer Programming Method to Compute Emptiable Minimal Siphons in S3PR Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Control. Syst. Technol. ![In: IEEE Trans. Control. Syst. Technol. 26(6), pp. 2135-2140, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
24 | Dan You, ShouGuang Wang, MengChu Zhou |
Computation of strict minimal siphons in a class of Petri nets based on problem decomposition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Sci. ![In: Inf. Sci. 409, pp. 87-100, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
24 | GaiYun Liu, Kamel Barkaoui |
A survey of siphons in Petri nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Sci. ![In: Inf. Sci. 363, pp. 198-220, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
24 | Spyros A. Reveliotis |
On the "Counter-Example" in the Article "Max'-Controlled Siphons for Liveness of S3PGR2" Regarding the Results in "Deadlock Avoidance in Sequential Resource Allocation Systems With Multiple Resource Acquisitions and Flexible Routings". ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Autom. Control. ![In: IEEE Trans. Autom. Control. 61(1), pp. 194-197, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
24 | Faten Nabli, Thierry Martinez, François Fages, Sylvain Soliman |
On enumerating minimal siphons in Petri nets using CLP and SAT solvers: theoretical and practical complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraints An Int. J. ![In: Constraints An Int. J. 21(2), pp. 251-276, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP DOI BibTeX RDF |
|
24 | Daniel Y. Chao |
Improvement on 'structure of weakly 2-dependent siphons'. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Control ![In: Int. J. Control 88(1), pp. 155-162, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
24 | ShouGuang Wang, Wenhui Wu, Jing Yang |
Deadlock prevention policy for a class of petri nets based on complementary places and elementary siphons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Manuf. ![In: J. Intell. Manuf. 26(2), pp. 321-330, 2015. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
24 | ShouGuang Wang, Dan You, MengChu Zhou |
Controllability of complex siphons for deadlock prevention in Systems of Simple Sequential Processes with Resources. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: IEEE International Conference on Robotics and Automation, ICRA 2015, Seattle, WA, USA, 26-30 May, 2015, pp. 3820-3825, 2015, IEEE, 978-1-4799-6923-4. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
24 | ShouGuang Wang, Dan You, Carla Seatzu, Alessandro Giua |
Complete enumeration of minimal siphons in ordinary Petri nets based on problem partitioning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 54th IEEE Conference on Decision and Control, CDC 2015, Osaka, Japan, December 15-18, 2015, pp. 356-361, 2015, IEEE, 978-1-4799-7886-1. The full citation details ...](Pics/full.jpeg) |
2015 |
DBLP DOI BibTeX RDF |
|
24 | Fan Ning, Xingxing Li, Shouguang Wang, Qiaoli Zhuang |
A Method Based on Depth-first Search to Compute All Minimal Siphons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Softw. ![In: J. Softw. 9(8), pp. 2148-2153, 2014. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
24 | Fernando Tricas, José Manuel Colom, Juan Julián Merelo Guervós |
Computing Minimal Siphons in Petri Net Models of Resource Allocation Systems: An Evolutionary Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PNSE @ Petri Nets ![In: Proceedings of the International Workshop on Petri Nets and Software Engineering, co-located with 35th International Conference on Application and Theory of Petri Nets and Concurrency (PetriNets 2014) and 14th International Conference on Application of Concurrency to System Design (ACSD 2014), Tunis, Tunisia, June 23-24, 2014., pp. 307-322, 2014, CEUR-WS.org. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP BibTeX RDF |
|
24 | GaiYun Liu, Zhiwu Li 0001, Abdulrahman Al-Ahmari |
Liveness Analysis of Petri Nets Using Siphons and Mathematical Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WODES ![In: 12th International Workshop on Discrete Event Systems, WODES 2014, Cachan, France, May 14-16, 2014., pp. 383-387, 2014, International Federation of Automatic Control, 978-3-902823-61-8. The full citation details ...](Pics/full.jpeg) |
2014 |
DBLP DOI BibTeX RDF |
|
24 | Daniel Yuh Chao, Jiun-Ting Chen |
Structure of weakly 2-dependent siphons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Control ![In: Int. J. Control 86(9), pp. 1518-1533, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
24 | Liang Hong, Daniel Y. Chao |
Controllability of control and mixture weakly dependent siphons in S3PR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Syst. Sci. ![In: Int. J. Syst. Sci. 44(8), pp. 1377-1385, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
24 | Shao Yong Li, Aimin An, Ying Wang, Gang Wang, Cai Qin Hou, Ying Cai |
Design of liveness-enforcing supervisors with simpler structures for deadlock-free operations in flexible manufacturing systems using necessary siphons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Manuf. ![In: J. Intell. Manuf. 24(6), pp. 1157-1173, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
24 | Yufeng Chen 0001, Gaiyun Liu |
Computation of Minimal Siphons in Petri Nets by Using Binary Decision Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Embed. Comput. Syst. ![In: ACM Trans. Embed. Comput. Syst. 12(1), pp. 3:1-3:15, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
24 | Zhiming Zhang, Weimin Wu |
Sequence Control of Essential Siphons for Deadlock Prevention in Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Embed. Comput. Syst. ![In: ACM Trans. Embed. Comput. Syst. 12(1), pp. 8:1-8:22, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP DOI BibTeX RDF |
|
24 | Faten Nabli, François Fages, Thierry Martinez, Sylvain Soliman |
Un modèle booléen pour l'énumération des siphons et des pièges minimaux dans les réseaux de Petri ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1304.2948, 2013. The full citation details ...](Pics/full.jpeg) |
2013 |
DBLP BibTeX RDF |
|
24 | Elia Esther Cano, Carlos A. Rovetto, José Manuel Colom |
An algorithm to compute the minimal siphons in S 4 PR nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Event Dyn. Syst. ![In: Discret. Event Dyn. Syst. 22(4), pp. 403-428, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
24 | ShouGuang Wang, Chengying Wang, MengChu Zhou, ZhiWu Li 0001 |
A Method to Compute Strict Minimal Siphons in a Class of Petri Nets Based on Loop Resource Subsets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Part A ![In: IEEE Trans. Syst. Man Cybern. Part A 42(1), pp. 226-237, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
24 | ShouGuang Wang, Chengying Wang, MengChu Zhou |
Controllability Conditions of Resultant Siphons in a Class of Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Part A ![In: IEEE Trans. Syst. Man Cybern. Part A 42(5), pp. 1206-1215, 2012. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
24 | Faten Nabli, François Fages, Thierry Martinez, Sylvain Soliman |
A Boolean Model for Enumerating Minimal Siphons and Traps in Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - 18th International Conference, CP 2012, Québec City, QC, Canada, October 8-12, 2012. Proceedings, pp. 798-814, 2012, Springer, 978-3-642-33557-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
24 | Shouguang Wang, Yue Li, Chengying Wang, Mengchu Zhou |
Computation of all minimal siphons in Petri nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNSC ![In: Proceedings of 9th IEEE International Conference on Networking, Sensing and Control, ICNSC 2012, Beijing, China, April 11-14, 2012, pp. 46-51, 2012, IEEE, 978-1-4673-0388-0. The full citation details ...](Pics/full.jpeg) |
2012 |
DBLP DOI BibTeX RDF |
|
24 | Keyi Xing, MengChu Zhou, Feng Wang, Huixia Liu, Feng Tian 0002 |
Resource-Transition Circuits and Siphons for Deadlock Control of Automated Manufacturing Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Part A ![In: IEEE Trans. Syst. Man Cybern. Part A 41(1), pp. 74-84, 2011. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
24 | ShouGuang Wang, Chengying Wang, MengChu Zhou |
Necessary and sufficient conditions for resultant siphons to be controlled. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACC ![In: American Control Conference, ACC 2011, San Francisco, CA, USA, June 29 - July 1, 2011, pp. 4484-4489, 2011, IEEE, 978-1-4577-0081-1. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
24 | GuanJun Liu, Changjun Jiang, MengChu Zhou |
Improved condition for controllability of strongly dependent strict minimal siphons in Petri nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNSC ![In: Proceedings of the IEEE International Conference on Networking, Sensing and Control, ICNSC 2011, Delft, The Netherlands, 11-13 April 2011, pp. 359-364, 2011, IEEE, 978-1-4244-9570-2. The full citation details ...](Pics/full.jpeg) |
2011 |
DBLP DOI BibTeX RDF |
|
24 | Hesuan Hu, Zhiwu Li 0001 |
Synthesis of liveness enforcing supervisor for automated manufacturing systems using insufficiently marked siphons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Manuf. ![In: J. Intell. Manuf. 21(4), pp. 555-567, 2010. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
24 | Shouguang Wang, Chengying Wang, Yanping Yu |
A method of computing strict minimal siphons in an S3PR based on resource circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: Proceedings of the 49th IEEE Conference on Decision and Control, CDC 2010, December 15-17, 2010, Atlanta, Georgia, USA, pp. 2785-2790, 2010, IEEE, 978-1-4244-7745-6. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
24 | Elia E. Cano, Carlos A. Rovetto, José Manuel Colom |
An algorithm to compute the minimal siphons in S4PR nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WODES ![In: 10th International Workshop on Discrete Event Systems, WODES 2010, Berlin, Germany, August 30 - September 01, 2010., pp. 15-20, 2010, International Federation of Automatic Control, 978-3-902661-79-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
24 | Hesuan Hu, Zhiwu Li 0001 |
Liveness Enforcing Supervision in Video Streaming Systems using Siphons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Inf. Sci. Eng. ![In: J. Inf. Sci. Eng. 25(6), pp. 1863-1884, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
24 | GuanJun Liu, Changjun Jiang |
Incidence Matrix Based Methods for Computing Repetitive Vectors and Siphons of Petri Net. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Inf. Sci. Eng. ![In: J. Inf. Sci. Eng. 25(1), pp. 121-136, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP BibTeX RDF |
|
24 | Anrong Wang, ZhiWu Li 0001, JianYuan Jia, MengChu Zhou |
An Effective Algorithm to Find Elementary Siphons in a Class of Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Part A ![In: IEEE Trans. Syst. Man Cybern. Part A 39(4), pp. 912-923, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Luigi Piroddi, Roberto Cordone, Ivano Fumagalli |
Efficient deadlock prevention in Petri nets through the generation of selected siphons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACC ![In: American Control Conference, ACC 2009. St. Louis, Missouri, USA, June 10-12, 2009, pp. 5006-5011, 2009, IEEE, 978-1-4244-4523-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Daniel Y. Chao |
Controllability for Siphons in S3PGR2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ETFA ![In: Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2009, September 22-25, 2008, Palma de Mallorca, Spain, pp. 1-7, 2009, IEEE, 978-1-4244-2727-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
24 | Daniel Yuh Chao |
Searching Strick Minimal Siphons for SNC-Based Resource Allocation Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Inf. Sci. Eng. ![In: J. Inf. Sci. Eng. 23(3), pp. 855-869, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
24 | Daniel Yuh Chao |
A Graphic-Algebraic Computation of Elementary Siphons of BS3PR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Inf. Sci. Eng. ![In: J. Inf. Sci. Eng. 23(6), pp. 1817-1831, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
24 | Daniel Yuh Chao |
An Incremental Approach to Extracting Minimal Bad Siphons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Inf. Sci. Eng. ![In: J. Inf. Sci. Eng. 23(1), pp. 203-214, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP BibTeX RDF |
|
24 | Daniel Y. Chao |
Correction to "Maximal Class of Weakly Live Ordinary Petri Nets Without Emptiable Siphons". ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Part B ![In: IEEE Trans. Syst. Man Cybern. Part B 37(1), pp. 248-249, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Jean-Louis Deneubourg, Mark Shackleton, José Halloy, Fabrice Saffre |
Maximal Class of Weakly Live Ordinary Petri Nets Without Emptiable Siphons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Part B ![In: IEEE Trans. Syst. Man Cybern. Part B 36(6), pp. 1332-1341, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Daniel Yuh Chao |
Computation of Elementary Siphons in Petri Nets For Deadlock Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. J. ![In: Comput. J. 49(4), pp. 470-479, 2006. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Xiangling Liu, Anrong Wang, Zhiwu Li 0001 |
A fast algorithm to find a set of elementary siphons for a class of petri nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASE ![In: 2006 IEEE International Conference on Automation Science and Engineering, Shanghai, China, 7-10 October 2006, pp. 399-404, 2006, IEEE, 1-4244-0310-3. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Roberto Cordone, Luca Ferrarini, Luigi Piroddi |
Some results on the computation of minimal siphons in Petri nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CDC ![In: 42nd IEEE Conference on Decision and Control, CDC 2003, Maui, Hawaii, USA, December 9-12, 2003, pp. 3754-3759, 2003, IEEE, 0-7803-7924-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
24 | ZhiWu Li 0001, MengChu Zhou |
A deadlock control method using elementary siphons of Petri nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC ![In: Proceedings of the IEEE International Conference on Systems, Man & Cybernetics: Washington, D.C., USA, 5-8 October 2003, pp. 2716-2720, 2003, IEEE, 0-7803-7952-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
24 | MuDer Jeng, Xiaolan Xie |
Modeling and analysis of semiconductor manufacturing systems with degraded behavior using Petri nets and siphons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Robotics Autom. ![In: IEEE Trans. Robotics Autom. 17(5), pp. 576-588, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
24 | Yi-Sheng Huang, MuDer Jeng, Xiaolan Xie, Sheng-Luen Chung |
A Deadlock Prevention Policy for Flexible Manufacturing Systems Using Siphons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: Proceedings of the 2001 IEEE International Conference on Robotics and Automation, ICRA 2001, May 21-26, 2001, Seoul, Korea, pp. 541-546, 2001, IEEE, 0-7803-6578-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
24 | MuDer Jeng, Xiaolan Xie |
Modeling and Analysis of Semiconductor Manufacturing Systems with Degraded Behaviors Using Petri Nets and Siphons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICRA ![In: Proceedings of the 2001 IEEE International Conference on Robotics and Automation, ICRA 2001, May 21-26, 2001, Seoul, Korea, pp. 52-57, 2001, IEEE, 0-7803-6578-X. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
24 | MuDer Jeng, Xiaolan Xie |
Analysis of modularly composed nets by siphons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. Part A ![In: IEEE Trans. Syst. Man Cybern. Part A 29(4), pp. 399-406, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
24 | Xiaolan Xie, MuDer Jeng |
ERCN-merged nets and their analysis using siphons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Robotics Autom. ![In: IEEE Trans. Robotics Autom. 15(4), pp. 692-703, 1999. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
24 | Masahiro Yamauchi, Shinji Tanimoto, Toshimasa Watanabe |
Extracting siphons containing a specified set of places in a Petri net. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC ![In: Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, SMC 1998, Hyatt Regency La Jolla, San Diego, California, USA, October 11-14,1998, pp. 142-147, 1998, IEEE, 0-7803-4778-1. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
24 | MuDer Jeng, Xiaolan Xie |
Synthesis of extended resource control nets using siphons. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SMC ![In: Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, SMC 1998, Hyatt Regency La Jolla, San Diego, California, USA, October 11-14,1998, pp. 758-763, 1998, IEEE, 0-7803-4778-1. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
24 | Feng Chu 0001, Xiaolan Xie |
Deadlock analysis of Petri nets using siphons and mathematical programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Robotics Autom. ![In: IEEE Trans. Robotics Autom. 13(6), pp. 793-804, 1997. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
17 | PengCheng Xiong, Mengchu Zhou, Calton Pu |
A Petri Net Siphon Based Solution to Protocol-Level Service Composition Mismatches. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWS ![In: IEEE International Conference on Web Services, ICWS 2009, Los Angeles, CA, USA, 6-10 July 2009, pp. 952-958, 2009, IEEE Computer Society, 978-0-7695-3709-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
17 | ZhiWu Li 0001, MengChu Zhou, MuDer Jeng |
A Maximally Permissive Deadlock Prevention Policy for FMS Based on Petri Net Siphon Control and the Theory of Regions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans Autom. Sci. Eng. ![In: IEEE Trans Autom. Sci. Eng. 5(1), pp. 182-188, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Alessandro Giua, Carla Seatzu |
Modeling and Supervisory Control of Railway Networks Using Petri Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans Autom. Sci. Eng. ![In: IEEE Trans Autom. Sci. Eng. 5(3), pp. 431-445, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Li Jiao |
A method for verifying deadlock freedom and liveness of petri nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISCAS ![In: International Symposium on Circuits and Systems (ISCAS 2008), 18-21 May 2008, Sheraton Seattle Hotel, Seattle, Washington, USA, pp. 209-211, 2008, IEEE, 978-1-4244-1683-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Zhiwu Li 0001, Moshe Shpitalni |
On the Existence of a Maximally Permissive Liveness-enforcing Petri Net Supervisor for Flexible Manufacturing Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNSC ![In: Proceedings of the IEEE International Conference on Networking, Sensing and Control, ICNSC 2008, Hainan, China, 6-8 April 2008, pp. 90-95, 2008, IEEE, 978-1-4244-1685-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|