| 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.  |
IEEE Trans. Syst. Man Cybern. Part A  |
2008 |
DBLP DOI BibTeX RDF |
|
| 125 | Zhiwu Li 0001, Mi Zhao |
On Controllability of Dependent Siphons for Deadlock Prevention in Generalized Petri Nets. |
IEEE Trans. Syst. Man Cybern. Part A |
2008 |
DBLP DOI BibTeX RDF |
|
| 125 | ZhiWu Li 0001, MengChu Zhou |
Some results and open problems concerning elementary siphons of Petri nets. |
SMC (2) |
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. |
IEEE Trans. Syst. Man Cybern. Part A |
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. |
ICARCV |
2004 |
DBLP DOI BibTeX RDF |
|
| 108 | ZhiWu Li 0001, XiangFeng Zhang |
A deadlock prevention approach using elementary siphons for a class of Petri nets. |
SMC (2) |
2004 |
DBLP DOI BibTeX RDF |
|
| 102 | ZhiWu Li 0001, MengChu Zhou |
On Siphon Computation for Deadlock Control in a Class of Petri Nets. |
IEEE Trans. Syst. Man Cybern. Part A |
2008 |
DBLP DOI BibTeX RDF |
|
| 91 | Fernando Tricas, Joaquin Ezpeleta |
Computing minimal siphons in Petri net models of resource allocation systems: a parallel solution. |
IEEE Trans. Syst. Man Cybern. Part A |
2006 |
DBLP DOI BibTeX RDF |
|
| 91 | ZhiWu Li 0001, MengChu Zhou |
An Effective FMS Deadlock Prevention Policy based on Elementary Siphons. |
ICRA |
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. |
SMC (5) |
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. |
SMC (5) |
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. |
SMC (6) |
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. |
ICNSC |
2008 |
DBLP DOI BibTeX RDF |
|
| 75 | ZhiWu Li 0001, MengChu Zhou |
Clarifications on the Definitions of Elementary Siphons in Petri Nets. |
IEEE Trans. Syst. Man Cybern. Part A |
2006 |
DBLP DOI BibTeX RDF |
|
| 75 | Roberto Cordone, Luca Ferrarini, Luigi Piroddi |
Enumeration algorithms for minimal siphons in Petri nets based on place constraints. |
IEEE Trans. Syst. Man Cybern. Part A |
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. |
SMC (5) |
2004 |
DBLP DOI BibTeX RDF |
|
| 75 | Karsten Schmidt 0004 |
Verification of Siphons and Traps for Algebraic Petri Nets. |
ICATPN |
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. |
Application and Theory of Petri Nets |
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. |
Applications and Theory of Petri Nets |
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. |
ICATPN |
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. |
ICATPN |
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. |
IEEE Trans. Syst. Man Cybern. Part A |
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. |
IEEE Trans. Syst. Man Cybern. Part C |
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. |
ICRA |
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. |
ICARCV |
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. |
IEEE Trans. Syst. Man Cybern. Syst. |
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. |
J. Intell. Manuf. |
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. |
J. Softw. |
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. |
SEKE |
2012 |
DBLP BibTeX RDF |
|
| 48 | ShouGuang Wang, MengChu Zhou, Chengying Wang |
Extracting all minimal siphons from maximal unmarked siphons in manufacturing-oriented Petri nets. |
CASE |
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. |
ETFA |
2010 |
DBLP DOI BibTeX RDF |
|
| 41 | Karsten Schmidt 0004 |
Siphons, Traps and High-Level Nets with Infinite Color Domains. |
ICATPN |
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. |
IEEE Trans. Ind. Informatics |
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. |
ICARCV |
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. |
Theor. Comput. Sci. |
2023 |
DBLP DOI BibTeX RDF |
|
| 24 | Dan You, Oussama Karoui, Shouguang Wang |
Computation of Minimal Siphons in Petri Nets Using Problem Partitioning Approaches. |
IEEE CAA J. Autom. Sinica |
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? |
EMBC |
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. |
CMSB |
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. |
Comput. Informatics |
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. |
IEEE Access |
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. |
IEEE Access |
2019 |
DBLP DOI BibTeX RDF |
|
| 24 | Qiaoli Zhuang, Dan You, Wenzhan Dai, Shouguang Wang, Jingiing Du |
An iterative Deadlock Prevention Policy Based on siphons. |
ICNSC |
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. |
IEEE Access |
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. |
IEEE Trans. Autom. Control. |
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. |
IEEE Trans. Control. Syst. Technol. |
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. |
Inf. Sci. |
2017 |
DBLP DOI BibTeX RDF |
|
| 24 | GaiYun Liu, Kamel Barkaoui |
A survey of siphons in Petri nets. |
Inf. Sci. |
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". |
IEEE Trans. Autom. Control. |
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. |
Constraints An Int. J. |
2016 |
DBLP DOI BibTeX RDF |
|
| 24 | Daniel Y. Chao |
Improvement on 'structure of weakly 2-dependent siphons'. |
Int. J. Control |
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. |
J. Intell. Manuf. |
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. |
ICRA |
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. |
CDC |
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. |
J. Softw. |
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. |
PNSE @ Petri Nets |
2014 |
DBLP BibTeX RDF |
|
| 24 | GaiYun Liu, Zhiwu Li 0001, Abdulrahman Al-Ahmari |
Liveness Analysis of Petri Nets Using Siphons and Mathematical Programming. |
WODES |
2014 |
DBLP DOI BibTeX RDF |
|
| 24 | Daniel Yuh Chao, Jiun-Ting Chen |
Structure of weakly 2-dependent siphons. |
Int. J. Control |
2013 |
DBLP DOI BibTeX RDF |
|
| 24 | Liang Hong, Daniel Y. Chao |
Controllability of control and mixture weakly dependent siphons in S3PR. |
Int. J. Syst. Sci. |
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. |
J. Intell. Manuf. |
2013 |
DBLP DOI BibTeX RDF |
|
| 24 | Yufeng Chen 0001, Gaiyun Liu |
Computation of Minimal Siphons in Petri Nets by Using Binary Decision Diagrams. |
ACM Trans. Embed. Comput. Syst. |
2013 |
DBLP DOI BibTeX RDF |
|
| 24 | Zhiming Zhang, Weimin Wu |
Sequence Control of Essential Siphons for Deadlock Prevention in Petri Nets. |
ACM Trans. Embed. Comput. Syst. |
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 |
CoRR |
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. |
Discret. Event Dyn. Syst. |
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. |
IEEE Trans. Syst. Man Cybern. Part A |
2012 |
DBLP DOI BibTeX RDF |
|
| 24 | ShouGuang Wang, Chengying Wang, MengChu Zhou |
Controllability Conditions of Resultant Siphons in a Class of Petri Nets. |
IEEE Trans. Syst. Man Cybern. Part A |
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. |
CP |
2012 |
DBLP DOI BibTeX RDF |
|
| 24 | Shouguang Wang, Yue Li, Chengying Wang, Mengchu Zhou |
Computation of all minimal siphons in Petri nets. |
ICNSC |
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. |
IEEE Trans. Syst. Man Cybern. Part A |
2011 |
DBLP DOI BibTeX RDF |
|
| 24 | ShouGuang Wang, Chengying Wang, MengChu Zhou |
Necessary and sufficient conditions for resultant siphons to be controlled. |
ACC |
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. |
ICNSC |
2011 |
DBLP DOI BibTeX RDF |
|
| 24 | Hesuan Hu, Zhiwu Li 0001 |
Synthesis of liveness enforcing supervisor for automated manufacturing systems using insufficiently marked siphons. |
J. Intell. Manuf. |
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. |
CDC |
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. |
WODES |
2010 |
DBLP DOI BibTeX RDF |
|
| 24 | Hesuan Hu, Zhiwu Li 0001 |
Liveness Enforcing Supervision in Video Streaming Systems using Siphons. |
J. Inf. Sci. Eng. |
2009 |
DBLP BibTeX RDF |
|
| 24 | GuanJun Liu, Changjun Jiang |
Incidence Matrix Based Methods for Computing Repetitive Vectors and Siphons of Petri Net. |
J. Inf. Sci. Eng. |
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. |
IEEE Trans. Syst. Man Cybern. Part A |
2009 |
DBLP DOI BibTeX RDF |
|
| 24 | Luigi Piroddi, Roberto Cordone, Ivano Fumagalli |
Efficient deadlock prevention in Petri nets through the generation of selected siphons. |
ACC |
2009 |
DBLP DOI BibTeX RDF |
|
| 24 | Daniel Y. Chao |
Controllability for Siphons in S3PGR2. |
ETFA |
2009 |
DBLP DOI BibTeX RDF |
|
| 24 | Daniel Yuh Chao |
Searching Strick Minimal Siphons for SNC-Based Resource Allocation Systems. |
J. Inf. Sci. Eng. |
2007 |
DBLP BibTeX RDF |
|
| 24 | Daniel Yuh Chao |
A Graphic-Algebraic Computation of Elementary Siphons of BS3PR. |
J. Inf. Sci. Eng. |
2007 |
DBLP BibTeX RDF |
|
| 24 | Daniel Yuh Chao |
An Incremental Approach to Extracting Minimal Bad Siphons. |
J. Inf. Sci. Eng. |
2007 |
DBLP BibTeX RDF |
|
| 24 | Daniel Y. Chao |
Correction to "Maximal Class of Weakly Live Ordinary Petri Nets Without Emptiable Siphons". |
IEEE Trans. Syst. Man Cybern. Part B |
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. |
IEEE Trans. Syst. Man Cybern. Part B |
2006 |
DBLP DOI BibTeX RDF |
|
| 24 | Daniel Yuh Chao |
Computation of Elementary Siphons in Petri Nets For Deadlock Control. |
Comput. J. |
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. |
CASE |
2006 |
DBLP DOI BibTeX RDF |
|
| 24 | Roberto Cordone, Luca Ferrarini, Luigi Piroddi |
Some results on the computation of minimal siphons in Petri nets. |
CDC |
2003 |
DBLP DOI BibTeX RDF |
|
| 24 | ZhiWu Li 0001, MengChu Zhou |
A deadlock control method using elementary siphons of Petri nets. |
SMC |
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. |
IEEE Trans. Robotics Autom. |
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. |
ICRA |
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. |
ICRA |
2001 |
DBLP DOI BibTeX RDF |
|
| 24 | MuDer Jeng, Xiaolan Xie |
Analysis of modularly composed nets by siphons. |
IEEE Trans. Syst. Man Cybern. Part A |
1999 |
DBLP DOI BibTeX RDF |
|
| 24 | Xiaolan Xie, MuDer Jeng |
ERCN-merged nets and their analysis using siphons. |
IEEE Trans. Robotics Autom. |
1999 |
DBLP DOI BibTeX RDF |
|
| 24 | Masahiro Yamauchi, Shinji Tanimoto, Toshimasa Watanabe |
Extracting siphons containing a specified set of places in a Petri net. |
SMC |
1998 |
DBLP DOI BibTeX RDF |
|
| 24 | MuDer Jeng, Xiaolan Xie |
Synthesis of extended resource control nets using siphons. |
SMC |
1998 |
DBLP DOI BibTeX RDF |
|
| 24 | Feng Chu 0001, Xiaolan Xie |
Deadlock analysis of Petri nets using siphons and mathematical programming. |
IEEE Trans. Robotics Autom. |
1997 |
DBLP DOI BibTeX RDF |
|
| 17 | PengCheng Xiong, Mengchu Zhou, Calton Pu |
A Petri Net Siphon Based Solution to Protocol-Level Service Composition Mismatches. |
ICWS |
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. |
IEEE Trans Autom. Sci. Eng. |
2008 |
DBLP DOI BibTeX RDF |
|
| 17 | Alessandro Giua, Carla Seatzu |
Modeling and Supervisory Control of Railway Networks Using Petri Nets. |
IEEE Trans Autom. Sci. Eng. |
2008 |
DBLP DOI BibTeX RDF |
|
| 17 | Li Jiao |
A method for verifying deadlock freedom and liveness of petri nets. |
ISCAS |
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. |
ICNSC |
2008 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license