Raynal, Michel; Taubenfeld, Gadi A visit to mutual exclusion in seven dates. (English) Zbl 07524439 Theor. Comput. Sci. 919, 47-65 (2022). MSC: 68Qxx PDF BibTeX XML Cite \textit{M. Raynal} and \textit{G. Taubenfeld}, Theor. Comput. Sci. 919, 47--65 (2022; Zbl 07524439) Full Text: DOI OpenURL
Carneiro, Alan Diêgo Aurélio; Protti, Fábio; Souza, Uéverton dos Santos On knot-free vertex deletion: fine-grained parameterized complexity analysis of a deadlock resolution graph problem. (English) Zbl 07482358 Theor. Comput. Sci. 909, 97-109 (2022). MSC: 68Qxx PDF BibTeX XML Cite \textit{A. D. A. Carneiro} et al., Theor. Comput. Sci. 909, 97--109 (2022; Zbl 07482358) Full Text: DOI OpenURL
Boucheneb, Hanifa; Barkaoui, Kamel; Xing, Qian; Wang, KuangZe; Liu, GaiYun; Li, ZhiWu Time based deadlock prevention for Petri nets. (English) Zbl 1482.93373 Automatica 137, Article ID 110119, 11 p. (2022). MSC: 93C65 93B03 PDF BibTeX XML Cite \textit{H. Boucheneb} et al., Automatica 137, Article ID 110119, 11 p. (2022; Zbl 1482.93373) Full Text: DOI OpenURL
Dardha, Ornela; Pérez, Jorge A. Comparing type systems for deadlock freedom. (English) Zbl 1477.68177 J. Log. Algebr. Methods Program. 124, Article ID 100717, 43 p. (2022). MSC: 68Q85 03B70 68N30 PDF BibTeX XML Cite \textit{O. Dardha} and \textit{J. A. Pérez}, J. Log. Algebr. Methods Program. 124, Article ID 100717, 43 p. (2022; Zbl 1477.68177) Full Text: DOI arXiv OpenURL
Kokke, Wen; Dardha, Ornela Prioritise the best variation. (English) Zbl 07493474 Peters, Kirstin (ed.) et al., Formal techniques for distributed objects, components, and systems. 41st IFIP WG 6.1 international conference, FORTE 2021, held as part of the 16th international federated conference on distributed computing techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12719, 100-119 (2021). MSC: 68Q85 03B70 68N18 PDF BibTeX XML Cite \textit{W. Kokke} and \textit{O. Dardha}, Lect. Notes Comput. Sci. 12719, 100--119 (2021; Zbl 07493474) Full Text: DOI OpenURL
Champagnat, Nicolas; Schott, René; Villemonais, Denis Analysis of distributed systems via quasi-stationary distributions. (English) Zbl 1480.60208 Stochastic Anal. Appl. 39, No. 6, 981-998 (2021). MSC: 60J20 68W15 PDF BibTeX XML Cite \textit{N. Champagnat} et al., Stochastic Anal. Appl. 39, No. 6, 981--998 (2021; Zbl 1480.60208) Full Text: DOI OpenURL
Reveliotis, Spyros; Masopust, Tomáš; Ibrahim, Michael Polynomial-time optimal liveness enforcement for guidepath-based transport systems. (English) Zbl 07430112 Nonlinear Anal., Hybrid Syst. 41, Article ID 101058, 35 p. (2021). MSC: 68-XX 93-XX PDF BibTeX XML Cite \textit{S. Reveliotis} et al., Nonlinear Anal., Hybrid Syst. 41, Article ID 101058, 35 p. (2021; Zbl 07430112) Full Text: DOI OpenURL
Ibrahim, Michael; Reveliotis, Spyros; Nazeem, Ahmed Maximal linear deadlock avoidance policies for sequential resource allocation systems: characterization, computation, and approximation. (English) Zbl 1471.93175 IEEE Trans. Autom. Control 66, No. 9, 3906-3921 (2021). MSC: 93C65 93-08 PDF BibTeX XML Cite \textit{M. Ibrahim} et al., IEEE Trans. Autom. Control 66, No. 9, 3906--3921 (2021; Zbl 1471.93175) Full Text: DOI OpenURL
Raman, Arun; Sreenivas, Ramavarapu S. Liveness enforcing supervisory policies tolerant to controllability failures for discrete-event systems modeled by Petri nets. (English) Zbl 1461.93316 Automatica 125, Article ID 109430, 10 p. (2021). MSC: 93C65 93B05 93-10 PDF BibTeX XML Cite \textit{A. Raman} and \textit{R. S. Sreenivas}, Automatica 125, Article ID 109430, 10 p. (2021; Zbl 1461.93316) Full Text: DOI OpenURL
Bozga, Marius; Iosif, Radu; Sifakis, Joseph Checking deadlock-freedom of parametric component-based systems. (English) Zbl 1455.68102 J. Log. Algebr. Methods Program. 119, Article ID 100621, 23 p. (2021). MSC: 68Q60 03B70 68Q85 PDF BibTeX XML Cite \textit{M. Bozga} et al., J. Log. Algebr. Methods Program. 119, Article ID 100621, 23 p. (2021; Zbl 1455.68102) Full Text: DOI arXiv OpenURL
Feng, Yanxiang; Xing, Keyi; Zhou, MengChu; Chen, Hefeng; Tian, Feng Polynomial-complexity robust deadlock controllers for a class of automated manufacturing systems with unreliable resources using Petri nets. (English) Zbl 1461.93346 Inf. Sci. 533, 181-199 (2020). MSC: 93C85 93B35 93C65 68Q17 PDF BibTeX XML Cite \textit{Y. Feng} et al., Inf. Sci. 533, 181--199 (2020; Zbl 1461.93346) Full Text: DOI OpenURL
Fransen, K. J. C.; van Eekelen, J. A. W. M.; Pogromsky, A.; Boon, M. A. A.; Adan, I. J. B. F. A dynamic path planning approach for dense, large, grid-based automated guided vehicle systems. (English) Zbl 1458.90090 Comput. Oper. Res. 123, Article ID 105046, 10 p. (2020). MSC: 90B06 90C35 PDF BibTeX XML Cite \textit{K. J. C. Fransen} et al., Comput. Oper. Res. 123, Article ID 105046, 10 p. (2020; Zbl 1458.90090) Full Text: DOI OpenURL
Kokke, Wen; Morris, J. Garrett; Wadler, Philip Towards races in linear logic. (English) Zbl 07288620 Log. Methods Comput. Sci. 16, No. 4, Paper No. 15, 16 p. (2020). MSC: 03B70 68-XX PDF BibTeX XML Cite \textit{W. Kokke} et al., Log. Methods Comput. Sci. 16, No. 4, Paper No. 15, 16 p. (2020; Zbl 07288620) Full Text: arXiv Link OpenURL
Zhou, Yuan; Hu, Hesuan; Liu, Yang; Lin, Shang-Wei; Ding, Zuohua A distributed method to avoid higher-order deadlocks in multi-robot systems. (English) Zbl 1430.93153 Automatica 112, Article ID 108706, 13 p. (2020). MSC: 93C85 93A16 93C65 PDF BibTeX XML Cite \textit{Y. Zhou} et al., Automatica 112, Article ID 108706, 13 p. (2020; Zbl 1430.93153) Full Text: DOI OpenURL
Aghazadeh, Zahra; Imbs, Damien; Raynal, Michel; Taubenfeld, Gadi; Woelfel, Philipp Optimal memory-anonymous symmetric deadlock-free mutual exclusion. (English) Zbl 07298670 Nowak, Thomas (ed.), Proceedings of the 38th ACM symposium on principles of distributed computing, PODC ’19, Toronto, ON, Canada, July 29 – August 2, 2019. New York, NY: Association for Computing Machinery (ACM). 157-166 (2019). MSC: 68M14 68W15 PDF BibTeX XML Cite \textit{Z. Aghazadeh} et al., in: Proceedings of the 38th ACM symposium on principles of distributed computing, PODC '19, Toronto, ON, Canada, July 29 -- August 2, 2019. New York, NY: Association for Computing Machinery (ACM). 157--166 (2019; Zbl 07298670) Full Text: DOI arXiv OpenURL
Lu, Faming; Tao, Ranran; Du, Yuyue; Zeng, Qingtian; Bao, Yunxia Deadlock detection-oriented unfolding of unbounded Petri nets. (English) Zbl 1451.68192 Inf. Sci. 497, 1-22 (2019). MSC: 68Q85 PDF BibTeX XML Cite \textit{F. Lu} et al., Inf. Sci. 497, 1--22 (2019; Zbl 1451.68192) Full Text: DOI OpenURL
Feng, Yanxiang; Xing, Keyi; Liu, Huixia; Wu, Yunchao Two-stage design method of robust deadlock control for automated manufacturing systems with a type of unreliable resources. (English) Zbl 1453.93158 Inf. Sci. 484, 286-301 (2019). MSC: 93C85 93B35 93B51 90C11 PDF BibTeX XML Cite \textit{Y. Feng} et al., Inf. Sci. 484, 286--301 (2019; Zbl 1453.93158) Full Text: DOI OpenURL
Zhong, Chunfu; He, Wenlong; Li, Zhiwu; Wu, Naiqi; Qu, Ting Deadlock analysis and control using Petri net decomposition techniques. (English) Zbl 1446.68106 Inf. Sci. 482, 440-456 (2019). MSC: 68Q85 90B30 93C65 PDF BibTeX XML Cite \textit{C. Zhong} et al., Inf. Sci. 482, 440--456 (2019; Zbl 1446.68106) Full Text: DOI OpenURL
Luo, JianChao; Liu, ZhiQiang; Zhou, MengChu; Xing, KeYi; Wang, XinNian; Li, XiaoLing; Liu, HuiXia Robust deadlock control of automated manufacturing systems with multiple unreliable resources. (English) Zbl 1451.93072 Inf. Sci. 479, 401-415 (2019). MSC: 93B35 93C85 93C83 PDF BibTeX XML Cite \textit{J. Luo} et al., Inf. Sci. 479, 401--415 (2019; Zbl 1451.93072) Full Text: DOI OpenURL
Carneiro, Alan Diêgo Aurélio; Protti, Fábio; Souza, Uéverton S. Deadlock resolution in wait-for graphs by vertex/arc deletion. (English) Zbl 1420.90075 J. Comb. Optim. 37, No. 2, 546-562 (2019). MSC: 90C35 PDF BibTeX XML Cite \textit{A. D. A. Carneiro} et al., J. Comb. Optim. 37, No. 2, 546--562 (2019; Zbl 1420.90075) Full Text: DOI OpenURL
Antonino, Pedro; Gibson-Robinson, Thomas; Roscoe, A. W. Efficient verification of concurrent systems using local-analysis-based approximations and SAT solving. (English) Zbl 1425.68285 Formal Asp. Comput. 31, No. 3, 375-409 (2019). MSC: 68Q85 68Q60 68T20 PDF BibTeX XML Cite \textit{P. Antonino} et al., Formal Asp. Comput. 31, No. 3, 375--409 (2019; Zbl 1425.68285) Full Text: DOI OpenURL
Khanna, Dhriti; Sharma, Subodh; Rodríguez, César; Purandare, Rahul Dynamic symbolic verification of MPI programs. (English) Zbl 1460.68029 Havelund, Klaus (ed.) et al., Formal methods. 22nd international symposium, FM 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 15–17, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10951, 466-484 (2018). MSC: 68N30 68Q60 PDF BibTeX XML Cite \textit{D. Khanna} et al., Lect. Notes Comput. Sci. 10951, 466--484 (2018; Zbl 1460.68029) Full Text: DOI OpenURL
Azadbakht, Keyvan; de Boer, Frank S.; de Vink, Erik Deadlock detection for actor-based coroutines. (English) Zbl 1460.68025 Havelund, Klaus (ed.) et al., Formal methods. 22nd international symposium, FM 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 15–17, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10951, 39-54 (2018). MSC: 68N30 68Q85 PDF BibTeX XML Cite \textit{K. Azadbakht} et al., Lect. Notes Comput. Sci. 10951, 39--54 (2018; Zbl 1460.68025) Full Text: DOI Link OpenURL
Yue, Hao; Xing, Keyi; Hu, Hesuan; Wu, Weimin; Su, Hongye Resource failure and buffer space allocation control for automated manufacturing systems. (English) Zbl 1448.93234 Inf. Sci. 450, 392-408 (2018). MSC: 93C85 93C65 93B35 93-10 PDF BibTeX XML Cite \textit{H. Yue} et al., Inf. Sci. 450, 392--408 (2018; Zbl 1448.93234) Full Text: DOI OpenURL
Jiang, Chuan; Ciardo, Gianfranco Improving SAT-based bounded model checking for existential CTL through path reuse. (English) Zbl 1415.68149 Barthe, Gilles (ed.) et al., LPAR-22. 22nd international conference on logic for programming, artificial intelligence and reasoning, Awassa, Ethiopia, November 17–21, 2018. Selected papers. Manchester: EasyChair. EPiC Ser. Comput. 57, 471-487 (2018). MSC: 68Q60 03B44 PDF BibTeX XML Cite \textit{C. Jiang} and \textit{G. Ciardo}, EPiC Ser. Comput. 57, 471--487 (2018; Zbl 1415.68149) Full Text: DOI OpenURL
Bashir, Muhammad; Li, Zhiwu; Uzam, Murat; Wu, Naiqi; Al-Ahmari, Abdulrahman On structural reduction of liveness-enforcing Petri net supervisors for flexible manufacturing systems: an algebraic approach. (English) Zbl 1418.90101 IMA J. Math. Control Inf. 35, No. 4, 1217-1249 (2018). MSC: 90B30 90B25 68Q85 PDF BibTeX XML Cite \textit{M. Bashir} et al., IMA J. Math. Control Inf. 35, No. 4, 1217--1249 (2018; Zbl 1418.90101) Full Text: DOI Link OpenURL
Zhang, Xiuyan; Uzam, Murat; Li, Zhiwu; Wu, Naiqi On the synthesis of liveness-enforcing supervisors for flexible manufacturing systems using global idle places. (English) Zbl 1402.93120 IMA J. Math. Control Inf. 35, No. 1, 165-182 (2018). MSC: 93B50 93C65 93C35 03C90 90B35 68Q85 93-04 PDF BibTeX XML Cite \textit{X. Zhang} et al., IMA J. Math. Control Inf. 35, No. 1, 165--182 (2018; Zbl 1402.93120) Full Text: DOI OpenURL
Carneiro, Alan Diêgo Aurélio; Protti, Fábio; Souza, Uéverton S. Fine-grained parameterized complexity analysis of knot-free vertex deletion – a Deadlock Resolution Graph problem. (English) Zbl 06946779 Wang, Lusheng (ed.) et al., Computing and combinatorics. 24th international conference, COCOON 2018, Qing Dao, China, July 2–4, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10976, 84-95 (2018). MSC: 68Rxx PDF BibTeX XML Cite \textit{A. D. A. Carneiro} et al., Lect. Notes Comput. Sci. 10976, 84--95 (2018; Zbl 06946779) Full Text: DOI OpenURL
Cong, Xuya; Gu, Chao; Uzam, Murat; Chen, Yufeng; Al-ahmari, Abdulrahman M.; Wu, Naiqi; Zhou, Mengchu; Li, Zhiwu Design of optimal Petri net supervisors for flexible manufacturing systems via weighted inhibitor arcs. (English) Zbl 1391.93142 Asian J. Control 20, No. 1, 511-530 (2018). MSC: 93C65 90B30 93A13 93C95 94C15 PDF BibTeX XML Cite \textit{X. Cong} et al., Asian J. Control 20, No. 1, 511--530 (2018; Zbl 1391.93142) Full Text: DOI OpenURL
Lima, Carlos V. G. C.; Protti, Fábio; Rautenbach, Dieter; Souza, Uéverton S.; Szwarcfiter, Jayme L. And/or-convexity: a graph convexity based on processes and deadlock models. (English) Zbl 1388.05050 Ann. Oper. Res. 264, No. 1-2, 267-286 (2018). MSC: 05C10 05C82 68R10 68M14 PDF BibTeX XML Cite \textit{C. V. G. C. Lima} et al., Ann. Oper. Res. 264, No. 1--2, 267--286 (2018; Zbl 1388.05050) Full Text: DOI OpenURL
Palmer, Geraint I.; Harper, Paul R.; Knight, Vincent A. Modelling deadlock in open restricted queueing networks. (English) Zbl 1403.90246 Eur. J. Oper. Res. 266, No. 2, 609-621 (2018). MSC: 90B22 60J28 60K25 PDF BibTeX XML Cite \textit{G. I. Palmer} et al., Eur. J. Oper. Res. 266, No. 2, 609--621 (2018; Zbl 1403.90246) Full Text: DOI OpenURL
Hwang, Ilwoo A theory of bargaining deadlock. (English) Zbl 1390.91147 Games Econ. Behav. 109, 501-522 (2018). MSC: 91B26 PDF BibTeX XML Cite \textit{I. Hwang}, Games Econ. Behav. 109, 501--522 (2018; Zbl 1390.91147) Full Text: DOI Link OpenURL
de Boer, Frank S.; Bravetti, Mario; Lee, Matias D.; Zavattaro, Gianluigi A Petri net based modeling of active objects and futures. (English) Zbl 1390.68489 Fundam. Inform. 159, No. 3, 197-256 (2018). MSC: 68Q85 PDF BibTeX XML Cite \textit{F. S. de Boer} et al., Fundam. Inform. 159, No. 3, 197--256 (2018; Zbl 1390.68489) Full Text: DOI OpenURL
Pedersen, Jan B.; Welch, Peter H. The symbiosis of concurrency and verification: teaching and case studies. (English) Zbl 1382.68144 Formal Asp. Comput. 30, No. 2, 239-277 (2018). MSC: 68Q60 68Q85 97P20 PDF BibTeX XML Cite \textit{J. B. Pedersen} and \textit{P. H. Welch}, Formal Asp. Comput. 30, No. 2, 239--277 (2018; Zbl 1382.68144) Full Text: DOI OpenURL
Xing, Keyi; Wang, Feng; Zhou, Meng Chu; Lei, Hang; Luo, Jianchao Deadlock characterization and control of flexible assembly systems with Petri nets. (English) Zbl 1378.93084 Automatica 87, 358-364 (2018). MSC: 93C65 90B30 PDF BibTeX XML Cite \textit{K. Xing} et al., Automatica 87, 358--364 (2018; Zbl 1378.93084) Full Text: DOI OpenURL
Lin, Liyong; Stefanescu, Alin; Wang, Weilin; Su, Rong; Wonham, W. Murray Symbolic reachability analysis and maximally permissive entrance control for globally synchronized templates. (English) Zbl 1378.93021 Automatica 87, 290-300 (2018). MSC: 93B03 93C65 93B50 PDF BibTeX XML Cite \textit{L. Lin} et al., Automatica 87, 290--300 (2018; Zbl 1378.93021) Full Text: DOI OpenURL
Liu, Miao; Wang, ShouGuang; Zhou, MengChu; Liu, Ding; Al-Ahmari, Abdulrahman; Qu, Ting; Wu, NaiQi; Li, ZhiWu Deadlock and liveness characterization for a class of generalized Petri nets. (English) Zbl 1436.90041 Inf. Sci. 420, 403-416 (2017). MSC: 90B30 68Q85 PDF BibTeX XML Cite \textit{M. Liu} et al., Inf. Sci. 420, 403--416 (2017; Zbl 1436.90041) Full Text: DOI OpenURL
You, Dan; Wang, ShouGuang; Zhou, MengChu Computation of strict minimal siphons in a class of Petri nets based on problem decomposition. (English) Zbl 1429.68150 Inf. Sci. 409-410, 87-100 (2017). MSC: 68Q85 PDF BibTeX XML Cite \textit{D. You} et al., Inf. Sci. 409--410, 87--100 (2017; Zbl 1429.68150) Full Text: DOI OpenURL
Zhao, Mi; Uzam, Murat A suboptimal deadlock control policy for designing non-blocking supervisors in flexible manufacturing systems. (English) Zbl 1429.90020 Inf. Sci. 388-389, 135-153 (2017). MSC: 90B30 68Q85 93C83 PDF BibTeX XML Cite \textit{M. Zhao} and \textit{M. Uzam}, Inf. Sci. 388--389, 135--153 (2017; Zbl 1429.90020) Full Text: DOI OpenURL
Chen, YuFeng; Li, ZhiWu; Al-Ahmari, Abdulrahman; Wu, NaiQi; Qu, Ting Deadlock recovery for flexible manufacturing systems modeled with Petri nets. (English) Zbl 1429.90019 Inf. Sci. 381, 290-303 (2017). MSC: 90B30 68Q85 PDF BibTeX XML Cite \textit{Y. Chen} et al., Inf. Sci. 381, 290--303 (2017; Zbl 1429.90019) Full Text: DOI OpenURL
Guo, Jinwei; Cui, Yamiao; Liu, Che Deadlock control based on capacity restrictions for FMS. (English) Zbl 1397.93136 IMA J. Math. Control Inf. 34, No. 4, 1395-1410 (2017). MSC: 93C65 68Q85 90B30 93-04 PDF BibTeX XML Cite \textit{J. Guo} et al., IMA J. Math. Control Inf. 34, No. 4, 1395--1410 (2017; Zbl 1397.93136) Full Text: DOI OpenURL
Carneiro, Alan Diêgo Aurélio; Protti, Fábio; Souza, Uéverton S. Deletion graph problems based on deadlock resolution. (English) Zbl 1434.68046 Cao, Yixin (ed.) et al., Computing and combinatorics. 23rd international conference, COCOON 2017, Hong Kong, China, August 3–5, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10392, 75-86 (2017). MSC: 68M14 68R10 PDF BibTeX XML Cite \textit{A. D. A. Carneiro} et al., Lect. Notes Comput. Sci. 10392, 75--86 (2017; Zbl 1434.68046) Full Text: DOI OpenURL
Lange, Julien; Ng, Nicholas; Toninho, Bernardo; Yoshida, Nobuko Fencing off Go: liveness and safety for channel-based programming. (English) Zbl 1380.68298 Castagna, Giuseppe (ed.) et al., Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4660-3). 748-761 (2017). MSC: 68Q85 68N15 68N30 PDF BibTeX XML Cite \textit{J. Lange} et al., in: Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL '17, Paris, France, January 15--21, 2017. New York, NY: Association for Computing Machinery (ACM). 748--761 (2017; Zbl 1380.68298) Full Text: DOI arXiv OpenURL
Devaraj, Rajesh; Sarkar, Arnab; Biswas, Santosh Comments on: “Supervisory control for real-time scheduling of periodic and sporadic tasks with resource constraints” [Automatica 45 (2009) 2597–2604]. (English) Zbl 1372.93005 Automatica 82, 332-334 (2017). MSC: 93A13 93C65 90B35 PDF BibTeX XML Cite \textit{R. Devaraj} et al., Automatica 82, 332--334 (2017; Zbl 1372.93005) Full Text: DOI OpenURL
Preda, Mila Dalla; Gabbrielli, Maurizio; Giallorenzo, Saverio; Lanese, Ivan; Mauro, Jacopo Dynamic choreographies: theory and implementation. (English) Zbl 1398.68088 Log. Methods Comput. Sci. 13, No. 2, Paper No. 1, 57 p. (2017). MSC: 68N19 PDF BibTeX XML Cite \textit{M. D. Preda} et al., Log. Methods Comput. Sci. 13, No. 2, Paper No. 1, 57 p. (2017; Zbl 1398.68088) Full Text: DOI arXiv OpenURL
Bick, Christian; Field, Michael Asynchronous networks: modularization of dynamics theorem. (English) Zbl 1361.34012 Nonlinearity 30, No. 2, 595-621 (2017). MSC: 34A36 37N25 37N35 93A30 92B20 PDF BibTeX XML Cite \textit{C. Bick} and \textit{M. Field}, Nonlinearity 30, No. 2, 595--621 (2017; Zbl 1361.34012) Full Text: DOI arXiv Link OpenURL
Böhm, Stanislav; Meca, Ondřej; Jančar, Petr State-space reduction of non-deterministically synchronizing systems applicable to deadlock detection in MPI. (English) Zbl 1427.68184 Fitzgerald, John (ed.) et al., FM 2016: formal methods. 21st international symposium, Limassol, Cyprus, November 9–11, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9995, 102-118 (2016). MSC: 68Q85 68Q60 PDF BibTeX XML Cite \textit{S. Böhm} et al., Lect. Notes Comput. Sci. 9995, 102--118 (2016; Zbl 1427.68184) Full Text: DOI OpenURL
Zaitsev, Dmitry Sequential composition of linear systems’ clans. (English) Zbl 1427.68219 Inf. Sci. 363, 292-307 (2016). MSC: 68Q85 68R10 PDF BibTeX XML Cite \textit{D. Zaitsev}, Inf. Sci. 363, 292--307 (2016; Zbl 1427.68219) Full Text: DOI OpenURL
Uzam, Murat; Gelen, Gökhan; Saleh, Tahir Lawan Think-globally-act-locally approach with weighted arcs to the synthesis of a liveness-enforcing supervisor for generalized Petri nets modeling FMSs. (English) Zbl 1427.68212 Inf. Sci. 363, 235-260 (2016). MSC: 68Q85 90B30 93C65 PDF BibTeX XML Cite \textit{M. Uzam} et al., Inf. Sci. 363, 235--260 (2016; Zbl 1427.68212) Full Text: DOI OpenURL
Liu, Huixia; Wu, Weimin; Su, Hongye; Zhang, Zhenxing Design of optimal Petri-net controllers for a class of flexible manufacturing systems with key resources. (English) Zbl 1427.68206 Inf. Sci. 363, 221-234 (2016). MSC: 68Q85 90B30 PDF BibTeX XML Cite \textit{H. Liu} et al., Inf. Sci. 363, 221--234 (2016; Zbl 1427.68206) Full Text: DOI OpenURL
Liu, GaiYun; Barkaoui, Kamel A survey of siphons in Petri nets. (English) Zbl 1427.68204 Inf. Sci. 363, 198-220 (2016). MSC: 68Q85 PDF BibTeX XML Cite \textit{G. Liu} and \textit{K. Barkaoui}, Inf. Sci. 363, 198--220 (2016; Zbl 1427.68204) Full Text: DOI OpenURL
Liu, Guanjun Complexity of the deadlock problem for Petri nets modeling resource allocation systems. (English) Zbl 1427.68205 Inf. Sci. 363, 190-197 (2016). MSC: 68Q85 68Q17 91B32 PDF BibTeX XML Cite \textit{G. Liu}, Inf. Sci. 363, 190--197 (2016; Zbl 1427.68205) Full Text: DOI OpenURL
Chen, Hefeng; Wu, NaiQi; Zhou, MengChu A novel method for deadlock prevention of AMS by using resource-oriented Petri nets. (English) Zbl 1427.68187 Inf. Sci. 363, 178-189 (2016). MSC: 68Q85 90B30 PDF BibTeX XML Cite \textit{H. Chen} et al., Inf. Sci. 363, 178--189 (2016; Zbl 1427.68187) Full Text: DOI OpenURL
Wu, Yunchao; Xing, Keyi; Luo, Jianchao; Feng, Yanxiang Robust deadlock control for automated manufacturing systems with an unreliable resource. (English) Zbl 1398.93268 Inf. Sci. 346-347, 17-28 (2016). MSC: 93C95 90B30 93B51 93C30 93C65 PDF BibTeX XML Cite \textit{Y. Wu} et al., Inf. Sci. 346--347, 17--28 (2016; Zbl 1398.93268) Full Text: DOI OpenURL
Chao, Daniel Yuh Improvement on ‘A merging method for the siphon-based flexible manufacturing systems maximally permissive controllers with simpler structures’. (English) Zbl 1397.93133 IMA J. Math. Control Inf. 33, No. 2, 163-171 (2016). MSC: 93C65 93A15 90B30 68Q85 93B11 PDF BibTeX XML Cite \textit{D. Y. Chao}, IMA J. Math. Control Inf. 33, No. 2, 163--171 (2016; Zbl 1397.93133) Full Text: DOI OpenURL
Pun, Ka I; Steffen, Martin; Stolz, Volker Effect-polymorphic behaviour inference for deadlock checking. (English) Zbl 1392.68148 J. Log. Algebr. Methods Program. 85, No. 6, 1234-1267 (2016). MSC: 68N30 68Q85 PDF BibTeX XML Cite \textit{K. I Pun} et al., J. Log. Algebr. Methods Program. 85, No. 6, 1234--1267 (2016; Zbl 1392.68148) Full Text: DOI OpenURL
Oliveira, Marcel V. M.; Antonino, P.; Ramos, R.; Sampaio, A.; Mota, A.; Roscoe, A. W. Rigorous development of component-based systems using component metadata and patterns. (English) Zbl 1348.68167 Formal Asp. Comput. 28, No. 6, 937-1004 (2016). MSC: 68Q85 68N30 PDF BibTeX XML Cite \textit{M. V. M. Oliveira} et al., Formal Asp. Comput. 28, No. 6, 937--1004 (2016; Zbl 1348.68167) Full Text: DOI Link OpenURL
Wu, W. H.; Chao, D. Y. Extension of the lower bound of monitor solutions of maximally permissive supervisors to non-\(\alpha\) net systems. (English) Zbl 1345.93112 Int. J. Syst. Sci., Princ. Appl. Syst. Integr. 47, No. 9, 2139-2151 (2016). MSC: 93C65 90B30 94C15 PDF BibTeX XML Cite \textit{W. H. Wu} and \textit{D. Y. Chao}, Int. J. Syst. Sci., Princ. Appl. Syst. Integr. 47, No. 9, 2139--2151 (2016; Zbl 1345.93112) Full Text: DOI OpenURL
Hou, Yifan; Zhao, Mi; Liu, Ding Deadlock control for a class of generalized Petri nets based on proper resource allocation. (English) Zbl 1338.93234 Asian J. Control 18, No. 1, 206-223 (2016). MSC: 93C65 93B30 93A30 PDF BibTeX XML Cite \textit{Y. Hou} et al., Asian J. Control 18, No. 1, 206--223 (2016; Zbl 1338.93234) Full Text: DOI OpenURL
Liu, Guanjun; Chen, Lijing Deciding the liveness for a subclass of weighted Petri nets based on structurally circular wait. (English) Zbl 1333.93168 Int. J. Syst. Sci., Princ. Appl. Syst. Integr. 47, No. 7, 1533-1542 (2016). MSC: 93C65 90B30 94C15 PDF BibTeX XML Cite \textit{G. Liu} and \textit{L. Chen}, Int. J. Syst. Sci., Princ. Appl. Syst. Integr. 47, No. 7, 1533--1542 (2016; Zbl 1333.93168) Full Text: DOI OpenURL
Fajstrup, Lisbeth; Goubault, Eric; Haucourt, Emmanuel; Mimram, Samuel; Raussen, Martin [Herlihy, Maurice] Directed algebraic topology and concurrency. With a foreword by Maurice Herlihy and a preface by Samuel Mimram. (English) Zbl 1338.68003 SpringerBriefs in Applied Sciences and Technology. Mathematical Methods. Cham: Springer (ISBN 978-3-319-15397-1/pbk; 978-3-319-15398-8/ebook). xi, 167 p. (2016). Reviewer: Ioan Pop (Iaşi) MSC: 68-02 55-01 18B30 54F05 55P99 55U10 55U35 55U40 68N30 68Q55 68Q60 68Q85 PDF BibTeX XML Cite \textit{L. Fajstrup} et al., Directed algebraic topology and concurrency. With a foreword by Maurice Herlihy and a preface by Samuel Mimram. Cham: Springer (2016; Zbl 1338.68003) Full Text: DOI OpenURL
Liu, Gaiyun; Chao, Daniel Yuh Further reduction of minimal first-met bad markings for the computationally efficient synthesis of a maximally permissive controller. (English) Zbl 1337.93003 Int. J. Control 88, No. 8, 1423-1428 (2015). MSC: 93A13 90B30 93C65 90C10 PDF BibTeX XML Cite \textit{G. Liu} and \textit{D. Y. Chao}, Int. J. Control 88, No. 8, 1423--1428 (2015; Zbl 1337.93003) Full Text: DOI OpenURL
Wang, ShouGuang; Zhou, MengChu; Wu, WenHui Design of a maximally permissive liveness-enforcing supervisor with reduced complexity for automated manufacturing systems. (English) Zbl 1332.93262 Asian J. Control 17, No. 1, 190-201 (2015). MSC: 93C65 90B30 05C90 PDF BibTeX XML Cite \textit{S. Wang} et al., Asian J. Control 17, No. 1, 190--201 (2015; Zbl 1332.93262) Full Text: DOI OpenURL
Huang, Bo; Zhou, Mengchu; Zhang, Gongxuan Synthesis of Petri net supervisors for FMS via redundant constraint elimination. (English) Zbl 1327.93268 Automatica 61, 156-163 (2015). MSC: 93C65 93B51 93B30 90C10 PDF BibTeX XML Cite \textit{B. Huang} et al., Automatica 61, 156--163 (2015; Zbl 1327.93268) Full Text: DOI OpenURL
Chao, Daniel Yuh On the lower bound of monitor solutions of maximally permissive supervisors for a subclass \(\alpha\)-\(S^{3}\)PR of flexible manufacturing systems. (English) Zbl 1317.93175 Int. J. Syst. Sci., Princ. Appl. Syst. Integr. 46, No. 2, 332-339 (2015). MSC: 93C65 93B03 93C95 90B30 PDF BibTeX XML Cite \textit{D. Y. Chao}, Int. J. Syst. Sci., Princ. Appl. Syst. Integr. 46, No. 2, 332--339 (2015; Zbl 1317.93175) Full Text: DOI OpenURL
Nazeem, Ahmed; Reveliotis, Spyros Maximally permissive deadlock avoidance for resource allocation systems with R/W-locks. (English) Zbl 1320.68127 Discrete Event Dyn. Syst. 25, No. 1-2, 31-63 (2015). MSC: 68Q85 68Q45 68W10 90B99 93A13 93C65 PDF BibTeX XML Cite \textit{A. Nazeem} and \textit{S. Reveliotis}, Discrete Event Dyn. Syst. 25, No. 1--2, 31--63 (2015; Zbl 1320.68127) Full Text: DOI OpenURL
Ganjei, Zeinab; Rezine, Ahmed; Eles, Petru; Peng, Zebo Abstracting and counting synchronizing processes. (English) Zbl 1432.68305 D’Souza, Deepak (ed.) et al., Verification, model checking, and abstract interpretation. 16th international conference, VMCAI 2015, Mumbai, India, January 12–14, 2015. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8931, 227-244 (2015). MSC: 68Q85 03B70 68N30 68Q60 PDF BibTeX XML Cite \textit{Z. Ganjei} et al., Lect. Notes Comput. Sci. 8931, 227--244 (2015; Zbl 1432.68305) Full Text: DOI Link OpenURL
de S. Oliveira, Fabiano; Barbosa, Valmir C. Revisiting deadlock prevention: a probabilistic approach. (English) Zbl 1386.05079 Networks 63, No. 2, 203-210 (2014). MSC: 05C20 05C85 05C80 60C05 PDF BibTeX XML Cite \textit{F. de S. Oliveira} and \textit{V. C. Barbosa}, Networks 63, No. 2, 203--210 (2014; Zbl 1386.05079) Full Text: DOI arXiv OpenURL
Padovani, Luca Deadlock and lock freedom in the linear \(\pi\)-calculus. (English) Zbl 1392.68311 Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14–18, 2014. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4503-2886-9). Paper No. 72, 10 p. (2014). MSC: 68Q85 68Q10 PDF BibTeX XML Cite \textit{L. Padovani}, in: Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14--18, 2014. Los Alamitos, CA: IEEE Computer Society. Paper No. 72, 10 p. (2014; Zbl 1392.68311) Full Text: DOI Link OpenURL
Chen, YuFeng; Li, ZhiWu; Barkaoui, Kamel Maximally permissive liveness-enforcing supervisor with lowest implementation cost for flexible manufacturing systems. (English) Zbl 1321.90046 Inf. Sci. 256, 74-90 (2014). MSC: 90B30 68Q85 PDF BibTeX XML Cite \textit{Y. Chen} et al., Inf. Sci. 256, 74--90 (2014; Zbl 1321.90046) Full Text: DOI OpenURL
Xing, Keyi; Kang, Miaomiao; Gao, Zhenxin A deadlock-free modified particle swarm optimization scheduling algorithm for flexible manufacturing systems. (Chinese. English summary) Zbl 1324.93096 Control Decis. 29, No. 8, 1345-1353 (2014). MSC: 93C65 90B30 90C59 90B35 PDF BibTeX XML Cite \textit{K. Xing} et al., Control Decis. 29, No. 8, 1345--1353 (2014; Zbl 1324.93096) Full Text: DOI OpenURL
Hou, Yifan; Li, Zhiwu; Al-Ahmari, Abdulrahman M.; El-Tamimi, Abdul-Aziz Mohammed; Nasr, Emad Abouel Extended elementary siphons and their application to liveness-enforcement of generalized Petri nets. (English) Zbl 1307.93255 Asian J. Control 16, No. 6, 1789-1810 (2014). MSC: 93C65 90B30 05C90 68Q85 PDF BibTeX XML Cite \textit{Y. Hou} et al., Asian J. Control 16, No. 6, 1789--1810 (2014; Zbl 1307.93255) Full Text: DOI OpenURL
Chen, Yufeng; Barkaoui, Kamel Maximally permissive Petri net supervisors for flexible manufacturing systems with uncontrollable and unobservable transitions. (English) Zbl 1307.93251 Asian J. Control 16, No. 6, 1646-1658 (2014). MSC: 93C65 93A13 90B30 PDF BibTeX XML Cite \textit{Y. Chen} and \textit{K. Barkaoui}, Asian J. Control 16, No. 6, 1646--1658 (2014; Zbl 1307.93251) Full Text: DOI OpenURL
Sofy, Nadav; Sarne, David Effective deadlock resolution with self-interested partially-rational agents. (English) Zbl 1319.68221 Ann. Math. Artif. Intell. 72, No. 3-4, 225-266 (2014). MSC: 68T42 68T20 PDF BibTeX XML Cite \textit{N. Sofy} and \textit{D. Sarne}, Ann. Math. Artif. Intell. 72, No. 3--4, 225--266 (2014; Zbl 1319.68221) Full Text: DOI OpenURL
Liu, Gai Yun; Chao, Daniel Yuh; Uzam, Murat A merging method for the siphon-based FMS maximally permissive controllers with simpler structures. (English) Zbl 1303.93124 IMA J. Math. Control Inf. 31, No. 4, 551-573 (2014). MSC: 93C65 90B30 93B51 PDF BibTeX XML Cite \textit{G. Y. Liu} et al., IMA J. Math. Control Inf. 31, No. 4, 551--573 (2014; Zbl 1303.93124) Full Text: DOI OpenURL
Wang, ShouGuang; Liu, Miao Comments on “Liveness of an extended \(\operatorname{S}^3 \operatorname{PR}\)”, [automatica 46 (2010) 1008-1018]. (English) Zbl 1297.93114 Automatica 50, No. 8, 2199-2200 (2014). MSC: 93C65 90B30 93B40 PDF BibTeX XML Cite \textit{S. Wang} and \textit{M. Liu}, Automatica 50, No. 8, 2199--2200 (2014; Zbl 1297.93114) Full Text: DOI OpenURL
Pun, Ka I; Steffen, Martin; Stolz, Volker Deadlock checking by data race detection. (English) Zbl 1371.68199 J. Log. Algebr. Methods Program. 83, No. 5-6, 400-426 (2014). MSC: 68Q85 PDF BibTeX XML Cite \textit{K. I Pun} et al., J. Log. Algebr. Methods Program. 83, No. 5--6, 400--426 (2014; Zbl 1371.68199) Full Text: DOI OpenURL
Wang, Qi; Li, Zhiwu; Wang, Anrong; Al-Ahmari, Abdulrahman M.; El-Tamimi, Abdul-Aziz Mohammed; Nasr, Emad Abouel A versatile supervisor with one monitor based on macro-tokens. (English) Zbl 1293.93528 IMA J. Math. Control Inf. 31, No. 2, 245-256 (2014). MSC: 93C65 93A13 PDF BibTeX XML Cite \textit{Q. Wang} et al., IMA J. Math. Control Inf. 31, No. 2, 245--256 (2014; Zbl 1293.93528) Full Text: DOI OpenURL
Wadler, Philip Propositions as sessions. (English) Zbl 1307.68025 J. Funct. Program. 24, No. 2-3, 384-418 (2014). MSC: 68N18 03B70 PDF BibTeX XML Cite \textit{P. Wadler}, J. Funct. Program. 24, No. 2--3, 384--418 (2014; Zbl 1307.68025) Full Text: DOI OpenURL
Roszkowska, Elzbieta; Reveliotis, Spyros A distributed protocol for motion coordination in free-range vehicular systems. (English) Zbl 1360.93010 Automatica 49, No. 6, 1639-1653 (2013). MSC: 93A13 93A14 68T42 93C95 PDF BibTeX XML Cite \textit{E. Roszkowska} and \textit{S. Reveliotis}, Automatica 49, No. 6, 1639--1653 (2013; Zbl 1360.93010) Full Text: DOI Link OpenURL
Le, Duy-Khanh; Chin, Wei-Ngan; Teo, Yong-Meng An expressive framework for verifying deadlock freedom. (English) Zbl 1410.68234 Hung, Dang Van (ed.) et al., Automated technology for verification and analysis. 11th international symposium, ATVA 2013, Hanoi, Vietnam, October 15–18, 2013. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8172, 287-302 (2013). MSC: 68Q60 68Q85 PDF BibTeX XML Cite \textit{D.-K. Le} et al., Lect. Notes Comput. Sci. 8172, 287--302 (2013; Zbl 1410.68234) Full Text: DOI Link OpenURL
Chatterjee, Krishnendu; De Alfaro, Luca; Faella, Marco; Majumdar, Rupak; Raman, Vishwanath Code aware resource management. (English) Zbl 1291.68137 Form. Methods Syst. Des. 42, No. 2, 146-174 (2013). MSC: 68N30 68M20 PDF BibTeX XML Cite \textit{K. Chatterjee} et al., Form. Methods Syst. Des. 42, No. 2, 146--174 (2013; Zbl 1291.68137) Full Text: DOI OpenURL
Landeo, Claudia M.; Spier, Kathryn E. Shotgun mechanisms for common-value partnerships: the unassigned-offeror problem. (English) Zbl 1288.91108 Econ. Lett. 121, No. 3, 390-394 (2013). MSC: 91B26 91A90 PDF BibTeX XML Cite \textit{C. M. Landeo} and \textit{K. E. Spier}, Econ. Lett. 121, No. 3, 390--394 (2013; Zbl 1288.91108) Full Text: DOI Link OpenURL
Liu, G. Y.; Li, Z. W.; Barkaoui, Kamel; Al-Ahmari, Abdulrahman M. Robustness of deadlock control for a class of Petri nets with unreliable resources. (English) Zbl 1284.90019 Inf. Sci. 235, 259-279 (2013). MSC: 90B30 68Q85 93C65 PDF BibTeX XML Cite \textit{G. Y. Liu} et al., Inf. Sci. 235, 259--279 (2013; Zbl 1284.90019) Full Text: DOI OpenURL
Pang, Liaojun; Li, Huixian; Pei, Qingqi; Wang, Yumin Improvement on Meshram et al.’s ID-based cryptographic mechanism. (English) Zbl 1285.94089 Inf. Process. Lett. 113, No. 19-21, 789-792 (2013). MSC: 94A60 PDF BibTeX XML Cite \textit{L. Pang} et al., Inf. Process. Lett. 113, No. 19--21, 789--792 (2013; Zbl 1285.94089) Full Text: DOI OpenURL
Eggermont, Christian E. J.; Schrijver, Alexander; Woeginger, Gerhard J. Analysis of multi-stage open shop processing systems. (English) Zbl 1282.90067 Math. Program. 142, No. 1-2 (A), 331-348 (2013). MSC: 90B35 90C27 PDF BibTeX XML Cite \textit{C. E. J. Eggermont} et al., Math. Program. 142, No. 1--2 (A), 331--348 (2013; Zbl 1282.90067) Full Text: DOI arXiv Link OpenURL
Hong, Liang; Chao, Daniel Y. Controllability of control and mixture weakly dependent siphons in S\(^{3}\)PR. (English) Zbl 1277.93017 Int. J. Syst. Sci. 44, No. 8, 1377-1385 (2013). MSC: 93B05 93C65 90C11 90B40 PDF BibTeX XML Cite \textit{L. Hong} and \textit{D. Y. Chao}, Int. J. Syst. Sci. 44, No. 8, 1377--1385 (2013; Zbl 1277.93017) Full Text: DOI OpenURL
Liao, Hongwei; Wang, Yin; Cho, Hyoun Kyu; Stanley, Jason; Kelly, Terence; Lafortune, Stéphane; Mahlke, Scott; Reveliotis, Spyros Concurrency bugs in multithreaded software: modeling and analysis using Petri nets. (English) Zbl 1268.93100 Discrete Event Dyn. Syst. 23, No. 2, 157-195 (2013). MSC: 93C65 93B40 PDF BibTeX XML Cite \textit{H. Liao} et al., Discrete Event Dyn. Syst. 23, No. 2, 157--195 (2013; Zbl 1268.93100) Full Text: DOI Link OpenURL
Reveliotis, Spyros; Nazeem, Ahmed Optimal linear separation of the safe and unsafe subspaces of sequential resource allocation systems as a set-covering problem: algorithmic procedures and geometric insights. (English) Zbl 1286.68023 SIAM J. Control Optim. 51, No. 2, 1707-1726 (2013). MSC: 68M14 68Q85 93C65 68W27 90C27 90C57 PDF BibTeX XML Cite \textit{S. Reveliotis} and \textit{A. Nazeem}, SIAM J. Control Optim. 51, No. 2, 1707--1726 (2013; Zbl 1286.68023) Full Text: DOI Link OpenURL
Zhao, Mi; Hou, Yifan An iterative method for synthesizing non-blocking supervisors for a class of generalized Petri nets using mathematical programming. (English) Zbl 1266.93098 Discrete Event Dyn. Syst. 23, No. 1, 3-26 (2013). MSC: 93C65 93B50 90C11 PDF BibTeX XML Cite \textit{M. Zhao} and \textit{Y. Hou}, Discrete Event Dyn. Syst. 23, No. 1, 3--26 (2013; Zbl 1266.93098) Full Text: DOI OpenURL
Asaftei, Timotei A new deadlock prevention method for a Petri net modeling the functionality of a hospital. (English) Zbl 1363.90072 Bul. Inst. Politeh. Iași, Secția Autom. Calc. 58(62), No. 2, 89-111 (2012). MSC: 90B30 93C65 90B35 PDF BibTeX XML Cite \textit{T. Asaftei}, Bul. Inst. Politeh. Iași, Secția Autom. Calc. 58(62), No. 2, 89--111 (2012; Zbl 1363.90072) OpenURL
Liu, Huixia; Xing, Keyi; Wang, Feng; Han, Libin; Sun, Xiaojing A polynomial algorithm for computing elementary siphons in a class of Petri nets. (English) Zbl 1286.93063 Asian J. Control 14, No. 4, 1141-1149 (2012). MSC: 93B40 93C65 90B30 PDF BibTeX XML Cite \textit{H. Liu} et al., Asian J. Control 14, No. 4, 1141--1149 (2012; Zbl 1286.93063) Full Text: DOI OpenURL
Li, Shao-Yong; Li, Zhi-Wu Structure reduction of liveness-enforcing Petri nets using mixed integer programming. (English) Zbl 1286.93117 Asian J. Control 14, No. 2, 384-399 (2012). MSC: 93C65 93B11 90C11 PDF BibTeX XML Cite \textit{S.-Y. Li} and \textit{Z.-W. Li}, Asian J. Control 14, No. 2, 384--399 (2012; Zbl 1286.93117) Full Text: DOI OpenURL
Martens, Moritz; Majster-Cederbaum, Mila Deadlock-freedom in component systems with architectural constraints. (English) Zbl 1284.68043 Form. Methods Syst. Des. 41, No. 2, 129-177 (2012). MSC: 68M07 68Q85 PDF BibTeX XML Cite \textit{M. Martens} and \textit{M. Majster-Cederbaum}, Form. Methods Syst. Des. 41, No. 2, 129--177 (2012; Zbl 1284.68043) Full Text: DOI OpenURL
Chao, Daniel; Liu, Guan Jun A simple suboptimal siphon-based control model of a well-known S\(^{3}\)PR. (English) Zbl 1282.93175 Asian J. Control 14, No. 1, 163-172 (2012). MSC: 93C65 93B51 PDF BibTeX XML Cite \textit{D. Chao} and \textit{G. J. Liu}, Asian J. Control 14, No. 1, 163--172 (2012; Zbl 1282.93175) Full Text: DOI OpenURL
Yang, Jingdong; Yang, Jinghui; Cai, Zesu Obstacle avoidance based on multi-objective optimization for mobile robots. (Chinese. English summary) Zbl 1289.68178 J. Shanghai Jiaotong Univ. (Chin. Ed.) 46, No. 2, 213-216 (2012). MSC: 68T40 90C29 PDF BibTeX XML Cite \textit{J. Yang} et al., J. Shanghai Jiaotong Univ. (Chin. Ed.) 46, No. 2, 213--216 (2012; Zbl 1289.68178) OpenURL
Krystek, Jolanta; Kozik, Marek Analysis of the job shop system with transport and setup times in deadlock-free operating conditions. (English) Zbl 1277.90115 Arch. Control Sci. 22, No. 4, 417-425 (2012). MSC: 90C27 90B35 68M20 90B06 PDF BibTeX XML Cite \textit{J. Krystek} and \textit{M. Kozik}, Arch. Control Sci. 22, No. 4, 417--425 (2012; Zbl 1277.90115) Full Text: DOI Link OpenURL
Chen, YuFeng; Li, ZhiWu On structural minimality of optimal supervisors for flexible manufacturing systems. (English) Zbl 1271.93102 Automatica 48, No. 10, 2647-2656 (2012). MSC: 93C65 90B30 PDF BibTeX XML Cite \textit{Y. Chen} and \textit{Z. Li}, Automatica 48, No. 10, 2647--2656 (2012; Zbl 1271.93102) Full Text: DOI Link OpenURL
Aybar, Aydin; İftar, Altuğ Supervisory controller design for timed-place Petri nets. (English) Zbl 1255.93087 Kybernetika 48, No. 6, 1114-1135 (2012). MSC: 93C65 93A30 93B03 PDF BibTeX XML Cite \textit{A. Aybar} and \textit{A. İftar}, Kybernetika 48, No. 6, 1114--1135 (2012; Zbl 1255.93087) Full Text: Link OpenURL
Katelman, Michael; Keller, Sean; Meseguer, José Rewriting semantics of production rule sets. (English) Zbl 1279.68188 J. Log. Algebr. Program. 81, No. 7-8, 929-956 (2012). MSC: 68Q55 68Q42 94C10 PDF BibTeX XML Cite \textit{M. Katelman} et al., J. Log. Algebr. Program. 81, No. 7--8, 929--956 (2012; Zbl 1279.68188) Full Text: DOI OpenURL