| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 137 | Atsushi Ohta, Kohkichi Tsuji |
Insufficiently marked siphon of Petri nets - extension of token-free siphon.  |
ISCAS (3)  |
2003 |
DBLP DOI BibTeX RDF |
|
| 123 | 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 |
|
| 95 | Chieh-Yih Wan, Shane B. Eisenman, Andrew T. Campbell, Jon Crowcroft |
Siphon: overload traffic management using multi-radio virtual sinks in sensor networks. |
SenSys |
2005 |
DBLP DOI BibTeX RDF |
simulations, system design, testbeds |
| 95 | 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 |
| 77 | 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 |
|
| 70 | 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 |
|
| 70 | Chieh-Yih Wan, Shane B. Eisenman, Andrew T. Campbell, Jon Crowcroft |
Overload traffic management for sensor networks. |
ACM Trans. Sens. Networks |
2007 |
DBLP DOI BibTeX RDF |
Simulations, system design, testbeds |
| 68 | 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 |
| 60 | 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 |
|
| 60 | Yi-Sheng Huang, MuDer Jeng, Xiaolan Xie, Da-Hsiang Chung |
Siphon-Based Deadlock Prevention Policy for Flexible Manufacturing Systems. |
IEEE Trans. Syst. Man Cybern. Part A |
2006 |
DBLP DOI BibTeX RDF |
|
| 60 | Akihiro Taguchi, Satoshi Taoka, Toshimasa Watanabe |
An algorithm GMST for extracting minimal siphon-traps and its application to efficient computation of Petri net invariants. |
ISCAS (3) |
2003 |
DBLP DOI BibTeX RDF |
|
| 53 | 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 |
|
| 53 | 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 |
|
| 42 | 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 |
|
| 42 | Spyros A. Reveliotis |
Implicit Siphon Control and Its Role in the Liveness-Enforcing Supervision of Sequential Resource Allocation Systems. |
IEEE Trans. Syst. Man Cybern. Part A |
2007 |
DBLP DOI BibTeX RDF |
|
| 42 | 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 |
|
| 35 | 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 |
|
| 35 | Li Jiao |
A method for verifying deadlock freedom and liveness of petri nets. |
ISCAS |
2008 |
DBLP DOI BibTeX RDF |
|
| 35 | 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 |
|
| 35 | 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 |
|
| 35 | 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 |
|
| 35 | 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 |
|
| 33 | 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 |
| 25 | ShouGuang Wang, Xin Guo, Oussama Karoui, MengChu Zhou, Dan You, Abdullah Abusorrah |
A Refined Siphon-Based Deadlock Prevention Policy for a Class of Petri Nets. |
IEEE Trans. Syst. Man Cybern. Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
| 25 | Yutaka Hoshiyama, Satoki Kawanishi, Hiroyuki Tsuda |
Demonstration of 10 Gbps Packet Transmission in Si-Photonics-Based In-Vehicle Optical Network (SiPhON). |
PSC |
2023 |
DBLP DOI BibTeX RDF |
|
| 25 | Loy McGuire, Tristan Schuler, Michael W. Otte, Donald Sofge |
Viscoelastic Fluid-Inspired Swarm Behavior to Reduce Susceptibility to Local Minima: The Chain Siphon Algorithm. |
IEEE Robotics Autom. Lett. |
2022 |
DBLP DOI BibTeX RDF |
|
| 25 | Hiroyuki Tsuda, Ryogo Kubo, Tatsuo Furuya, Masayuki Iwase, Masahito Morimoto, Hisashi Kondo, Yasushi Amamiya, Yoshiaki Nakano, Takuo Tanemura, Masayuki Murata 0001, Shin'ichi Arakawa, Naokatsu Yamamoto, Atsushi Matsumoto, Ryo Takahashi |
Proposal for a Highly Reliable In-Vehicle Optical Network: SiPhON (Si-Photonics-Based In-Vehicle Optical Network). |
OECC/PSC |
2022 |
DBLP DOI BibTeX RDF |
|
| 25 | Dong-yu Ji, Xiao Mi |
Calculation and analysis of gully-buried prestressed inverted siphon structure. |
Int. J. Crit. Infrastructures |
2021 |
DBLP DOI BibTeX RDF |
|
| 25 | Shouguang Wang, Wenli Duo, Xin Guo, Xiaoning Jiang, Dan You, Kamel Barkaoui, MengChu Zhou |
Computation of an emptiable minimal siphon in a subclass of Petri nets using mixed-integer programming. |
IEEE CAA J. Autom. Sinica |
2021 |
DBLP DOI BibTeX RDF |
|
| 25 | Mowafak Hassan Abdul-Hussin |
Supervisory Control for Flexible Manufacturing Systems Model Using S4PR-Nets Based on Siphon. |
ICAICST |
2021 |
DBLP DOI BibTeX RDF |
|
| 25 | GaiYun Liu, Lingchun Zhang, Liang Chang 0003, Abdulrahman Al-Ahmari, Naiqi Wu |
Robust deadlock control for automated manufacturing systems based on elementary siphon theory. |
Inf. Sci. |
2020 |
DBLP DOI BibTeX RDF |
|
| 25 | Abdulrahman Al-Ahmari, Husam Kaid, Zhiwu Li 0001, Reggie Davidrajuh |
Strict Minimal Siphon-Based Colored Petri Net Supervisor Synthesis for Automated Manufacturing Systems With Unreliable Resources. |
IEEE Access |
2020 |
DBLP DOI BibTeX RDF |
|
| 25 | Huixia Liu, Weimin Wu, Hongyong Yang |
Strong Controllable Siphon Basis-Based Robust Deadlock Control for Manufacturing Systems With Multiple Unreliable Resources. |
IEEE Access |
2020 |
DBLP DOI BibTeX RDF |
|
| 25 | Dong-yu Ji, Guo-yan Zhou |
Force analysis and research on bridge inverted siphon project in operating period. |
Int. J. Crit. Infrastructures |
2020 |
DBLP DOI BibTeX RDF |
|
| 25 | Xuefeng Zhu, Guoyong Huang, Zao Feng, Jiande Wu |
Condition Classification of Water-Filled Underground Siphon Using Acoustic Sensors. |
Sensors |
2020 |
DBLP DOI BibTeX RDF |
|
| 25 | Xin Guo, Shouguang Wang, Dan You, Zhifu Li, Xiaoning Jiang |
A Siphon-Based Deadlock Prevention Strategy for S3PR. |
IEEE Access |
2019 |
DBLP DOI BibTeX RDF |
|
| 25 | Li Qin, Arturo S. Leon, Lin-Long Bian, Lili Dong, Vivek Verma, Ahmet Yolcu |
A Remotely-Operated Siphon System for Water Release From Wetlands and Shallow Ponds. |
IEEE Access |
2019 |
DBLP DOI BibTeX RDF |
|
| 25 | Xiaoyan Li, GaiYun Liu, Zhiwu Li 0001, Naiqi Wu, Kamel Barkaoui |
Elementary Siphon-Based Robust Control for Automated Manufacturing Systems With Multiple Unreliable Resources. |
IEEE Access |
2019 |
DBLP DOI BibTeX RDF |
|
| 25 | Qiaoli Zhuang, Wenzhan Dai, Shouguang Wang, Jingjing Du, Qiuhong Tian |
An MIP-Based Deadlock Prevention Policy for Siphon Control. |
IEEE Access |
2019 |
DBLP DOI BibTeX RDF |
|
| 25 | Qiaoli Zhuang, Wenzhan Dai, Shouguang Wang, Fan Ning |
Deadlock Prevention Policy for S4PR Nets Based on Siphon. |
IEEE Access |
2018 |
DBLP DOI BibTeX RDF |
|
| 25 | Behnam Behinaein, Karen Rudie, Waheed Sangrar |
Petri Net Siphon Analysis and Graph Theoretic Measures for Identifying Combination Therapies in Cancer. |
IEEE ACM Trans. Comput. Biol. Bioinform. |
2018 |
DBLP DOI BibTeX RDF |
|
| 25 | Jonas Juhl Nielsen, Marco Scirea |
Balanced Map Generation Using Genetic Algorithms in the Siphon Board-Game. |
SEDA |
2018 |
DBLP DOI BibTeX RDF |
|
| 25 | Wiktor B. Daszczuk |
Siphon-based deadlock detection in Integrated Model of Distributed Systems (IMDS). |
FedCSIS |
2018 |
DBLP DOI BibTeX RDF |
|
| 25 | Mingcheng Liu, Junhe Yu, Haihong He, Rui Wang, Hongfei Zhan |
Research on Industrial Cluster and the Siphon Effect of Talent Accumulation. |
ICNC-FSKD |
2018 |
DBLP DOI BibTeX RDF |
|
| 25 | Shuhao Liu 0001, Li Chen 0019, Baochun Li |
Siphon: Expediting Inter-Datacenter Coflows in Wide-Area Data Analytics. |
USENIX Annual Technical Conference |
2018 |
DBLP BibTeX RDF |
|
| 25 | ShouGuang Wang, Dan You, MengChu Zhou |
A Necessary and Sufficient Condition for a Resource Subset to Generate a Strict Minimal Siphon in S 4PR. |
IEEE Trans. Autom. Control. |
2017 |
DBLP DOI BibTeX RDF |
|
| 25 | Juan Guarnizo, Amit Tambe, Suman Sankar Bhunia, Martín Ochoa, Nils Ole Tippenhauer, Asaf Shabtai, Yuval Elovici |
SIPHON: Towards Scalable High-Interaction Physical Honeypots. |
CoRR |
2017 |
DBLP BibTeX RDF |
|
| 25 | Juan David Guarnizo, Amit Tambe, Suman Sankar Bhunia, Martín Ochoa, Nils Ole Tippenhauer, Asaf Shabtai, Yuval Elovici |
SIPHON: Towards Scalable High-Interaction Physical Honeypots. |
CPSS@AsiaCCS |
2017 |
DBLP DOI BibTeX RDF |
|
| 25 | Dan You, Shouguang Wang, Wenzhan Dai, Wenhui Wu |
Approach for minimal-siphon computation in S4PR. |
SMC |
2017 |
DBLP DOI BibTeX RDF |
|
| 25 | Shuhao Liu 0001, Li Chen 0019, Baochun Li |
Siphon: a high-performance substrate for inter-datacenter transfers in wide-area data analytics. |
SoCC |
2017 |
DBLP DOI BibTeX RDF |
|
| 25 | Mowafak H. Abdul-Hussin, Zbigniew Antoni Banaszak |
Siphon-based deadlock prevention for a class of S4PR generalized Petri nets. |
ICCAIS |
2017 |
DBLP DOI BibTeX RDF |
|
| 25 | Daniel Yuh Chao |
Improvement on 'A merging method for the siphon-based flexible manufacturing systems maximally permissive controllers with simpler structures'. |
IMA J. Math. Control. Inf. |
2016 |
DBLP DOI BibTeX RDF |
|
| 25 | Huixia Liu, Keyi Xing, Weimin Wu, MengChu Zhou, Hailin Zou |
Deadlock Prevention for Flexible Manufacturing Systems via Controllable Siphon Basis of Petri Nets. |
IEEE Trans. Syst. Man Cybern. Syst. |
2015 |
DBLP DOI BibTeX RDF |
|
| 25 | Alireza Sharifi, Hamid Niazmand |
Analysis of flow and LDL concentration polarization in siphon of internal carotid artery: Non-Newtonian effects. |
Comput. Biol. Medicine |
2015 |
DBLP DOI BibTeX RDF |
|
| 25 | Yifan Hou, ZhiWu Li 0001, Mi Zhao, Ding Liu |
Extended elementary siphon-based deadlock prevention policy for a class of generalised Petri nets. |
Int. J. Comput. Integr. Manuf. |
2014 |
DBLP DOI BibTeX RDF |
|
| 25 | Gai Yun Liu, Daniel Yuh Chao, Murat Uzam |
A merging method for the siphon-based FMS maximally permissive controllers with simpler structures. |
IMA J. Math. Control. Inf. |
2013 |
DBLP DOI BibTeX RDF |
|
| 25 | Daniel Yuh Chao, Yen-Liang Pan, Wei-Hsiang Liao |
Structure Based Derived Uniform Formula for Siphon, Its Complementary Set and T-Characteristic Vectors. |
MIM |
2013 |
DBLP DOI BibTeX RDF |
|
| 25 | Wenhui Wu, Daniel Yuh Chao, Fang Yu 0001 |
A control policy for γ-nets without reachability analysis and siphon enumeration. |
CASE |
2013 |
DBLP DOI BibTeX RDF |
|
| 25 | Luciane de Fatima Silva, Lígia Maria Soares Passos, Michel dos Santos Soares, Stéphane Julia |
Siphon-based deadlock prevention policy for interorganizational WorkFlow net design. |
IRI |
2013 |
DBLP DOI BibTeX RDF |
|
| 25 | Hrvoje Bogunovic, José María Pozo, Rubén Cárdenes, Maria-Cruz Villa-Uriol, Raphaël Blanc, Michel Piotin, Alejandro F. Frangi |
Automated landmarking and geometric characterization of the carotid siphon. |
Medical Image Anal. |
2012 |
DBLP DOI BibTeX RDF |
|
| 25 | Yen-Liang Pan, Yi-Sheng Huang, MuDer Jeng, Sheng-Luen Chung |
Using theory of regions with selective siphon control for deadlock prevention policy in Petri nets. |
SMC |
2012 |
DBLP DOI BibTeX RDF |
|
| 25 | Shao Yong Li, ZhiWu Li 0001, Hesuan Hu |
Siphon extraction for deadlock control in flexible manufacturing systems by using Petri nets. |
Int. J. Comput. Integr. Manuf. |
2011 |
DBLP DOI BibTeX RDF |
|
| 25 | Shouguang Wang, Chengying Wang, Yanping Yu |
Comments on "Siphon-Based Deadlock Prevention Policy for Flexible Manufacturing Systems". |
IEEE Trans. Syst. Man Cybern. Part A |
2011 |
DBLP DOI BibTeX RDF |
|
| 25 | D. Y. Chao |
Improvement of Suboptimal Siphon- and FBM-Based Control Model of a Well-Known S3PR. |
IEEE Trans Autom. Sci. Eng. |
2011 |
DBLP DOI BibTeX RDF |
|
| 25 | Hongwei Liao, Jason Stanley, Yin Wang 0001, Stéphane Lafortune, Spyros A. Reveliotis, Scott A. Mahlke |
Deadlock-avoidance control of multithreaded software: An efficient siphon-based algorithm for Gadara petri nets. |
CDC/ECC |
2011 |
DBLP DOI BibTeX RDF |
|
| 25 | ShouGuang Wang, Chengying Wang, MengChu Zhou |
Optimal siphon-based deadlock prevention policy for a class of Petri nets in automation. |
SMC |
2011 |
DBLP DOI BibTeX RDF |
|
| 25 | PengCheng Xiong, Calton Pu, Mengchu Zhou |
Protocol-Level Service Composition Mismatches: A Petri Net Siphon Based Solution. |
Int. J. Web Serv. Res. |
2010 |
DBLP DOI BibTeX RDF |
|
| 25 | Mi Zhao, ZhiWu Li 0001, Hesuan Hu |
Suboptimal liveness-enforcing supervisor design for a class of generalised Petri nets using partial siphon enumeration and mathematical programming. |
Int. J. Syst. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 25 | Olivia Oanea, Harro Wimmel, Karsten Wolf |
New Algorithms for Deciding the Siphon-Trap Property. |
Petri Nets |
2010 |
DBLP DOI BibTeX RDF |
|
| 25 | Chunfu Zhong, Zhiwu Li 0001 |
A deadlock prevention approach for flexible manufacturing systems without complete siphon enumeration of their Petri net models. |
Eng. Comput. |
2009 |
DBLP DOI BibTeX RDF |
|
| 25 | Luigi Piroddi, Roberto Cordone, Ivano Fumagalli |
Combined Siphon and Marking Generation for Deadlock Prevention in Petri Nets. |
IEEE Trans. Syst. Man Cybern. Part A |
2009 |
DBLP DOI BibTeX RDF |
|
| 25 | Huixia Liu, Keyi Xing, Song Gao 0008 |
Comment on "On Siphon Computation for Deadlock Control in a Class of Petri Nets". |
IEEE Trans. Syst. Man Cybern. Part A |
2009 |
DBLP DOI BibTeX RDF |
|
| 25 | Wlodek M. Zuberek |
Siphon-Based Verification of Component Compatibility. |
DepCoS-RELCOMEX |
2009 |
DBLP DOI BibTeX RDF |
|
| 25 | PengCheng Xiong, Mengchu Zhou, Calton Pu |
A Petri Net Siphon Based Solution to Protocol-Level Service Composition Mismatches. |
ICWS |
2009 |
DBLP DOI BibTeX RDF |
|
| 25 | Karane Vieira, Luciano Barbosa, Juliana Freire, Altigran Soares da Silva |
Siphon++: a hidden-webcrawler for keyword-based interfaces. |
CIKM |
2008 |
DBLP DOI BibTeX RDF |
hidden-web crawler, online databases |
| 25 | Luigi Piroddi, Roberto Cordone, Ivano Fumagalli |
Non redundant siphon control in ordinary petri nets. |
CDC |
2007 |
DBLP DOI BibTeX RDF |
|
| 25 | Boaz Ben-Moshe, Binay K. Bhattacharya, Sandip Das 0001, Daya Ram Gaur, Qiaosheng Shi |
Computing a planar widest empty alpha-siphon in o(n3) time. |
CCCG |
2007 |
DBLP BibTeX RDF |
|
| 25 | Akihiro Taguchi, Atsushi Iriboshi, Satoshi Taoka, Toshimasa Watanabe |
Siphon-Trap-Based Algorithms for Efficiently Computing Petri Net Invariants. |
IEICE Trans. Fundam. Electron. Commun. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 25 | Yi-Sheng Huang, Jenn-Huei Lin, Jyh-Tsong Lin |
A siphon-based deadlock prevention policy for flexible manufacturing systems. |
SMC |
2005 |
DBLP DOI BibTeX RDF |
|
| 25 | Li Jiao, To-Yat Cheung |
Characterizing Liveness Monotonicity for Weighted Petri Nets in Terms of Siphon-Based Properties. |
Int. J. Found. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 25 | ZhiWu Li 0001, MengChu Zhou |
A novel siphon-based deadlock control method for FMS. |
ICRA |
2003 |
DBLP DOI BibTeX RDF |
|
| 25 | Fernando Tricas, Joaquín Ezpeleta |
Some results on siphon computation for deadlock prevention in resource allocation systems modeled with Petri nets. |
ETFA (1) |
2003 |
DBLP DOI BibTeX RDF |
|
| 25 | Satoshi Taoka, Katsushi Takano, Toshimasa Watanabe |
Extracting Minimal Siphon-Traps of Petri Nets and Its Application to Computing Nonnegative Integer-Invariants. |
IEICE Trans. Fundam. Electron. Commun. Comput. Sci. |
2002 |
DBLP BibTeX RDF |
|
| 25 | Yi-Sheng Huang, MuDer Jeng, YuanLin Wen |
Analysis of a Siphon-Based Deadlock Prevention Policy for Flexible Manufacturing Systems. |
ICRA |
2002 |
DBLP DOI BibTeX RDF |
|
| 25 | Francis J. Prusker, Edward Wobber |
The Siphon: Managing Distant Replicated Repositories. |
Workshop on the Management of Replicated Data |
1990 |
DBLP BibTeX RDF |
|
| 18 | Alessandro Giua, Carla Seatzu |
Modeling and Supervisory Control of Railway Networks Using Petri Nets. |
IEEE Trans Autom. Sci. Eng. |
2008 |
DBLP DOI BibTeX RDF |
|
| 18 | 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 |
|
| 18 | Karsten Wolf |
Generating Petri Net State Spaces. |
ICATPN |
2007 |
DBLP DOI BibTeX RDF |
|
| 18 | 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 |
|
| 18 | Chuanliang Xia |
Analysis of Properties of Petri Synthesis Net. |
TAMC |
2006 |
DBLP DOI BibTeX RDF |
liveness and boundedness, Petri nets, synthesis, analysis |
| 18 | Kamel Barkaoui, Jean-Michel Couvreur, Kais Klai |
On the Equivalence Between Liveness and Deadlock-Freeness in Petri Nets. |
ICATPN |
2005 |
DBLP DOI BibTeX RDF |
cs-property, liveness, structure theory, deadlock-freeness |
| 18 | ZhiWu Li 0001, MengChu Zhou |
An Effective FMS Deadlock Prevention Policy based on Elementary Siphons. |
ICRA |
2004 |
DBLP DOI BibTeX RDF |
|
| 18 | Zhonghua Huang, Zhiming Wu |
Deadlock-free Scheduling Method for Automated Manufacturing Systems Using Genetic Algorithm and Petri Nets. |
ICRA |
2004 |
DBLP DOI BibTeX RDF |
|
| 18 | 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 |
|
| 18 | 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 |
|
| 18 | 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 |
|
| 18 | ZhiWu Li 0001, MengChu Zhou |
Some results and open problems concerning elementary siphons of Petri nets. |
SMC (2) |
2004 |
DBLP DOI BibTeX RDF |
|
| 18 | Stéphane Tudoret, Simin Nadjm-Tehrani, Albert Beneviste, Jan-Erik Strömberg |
Co-simulation of Hybrid Systems: Signal-Simulink. |
FTRTFT |
2000 |
DBLP DOI BibTeX RDF |
|
| 18 | Teruhiro Shimura, Jorge Lobo 0001, Tadao Murata |
A Petri Net Semantics for Logic Programs with Negation. |
SEKE |
1992 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license