Hafidi, Y.; de Vink, E. P. Conceptual building blocks for modeling reconfiguration of component-based systems using Petri nets. (English) Zbl 07618120 J. Log. Algebr. Methods Program. 130, Article ID 100813, 16 p. (2023). MSC: 68-XX PDF BibTeX XML Cite \textit{Y. Hafidi} and \textit{E. P. de Vink}, J. Log. Algebr. Methods Program. 130, Article ID 100813, 16 p. (2023; Zbl 07618120) Full Text: DOI OpenURL
Özen, Figen; Tükel, Dilek Bilgin Robotic dance modeling methods. (English) Zbl 1504.93255 Shi, Peng (ed.) et al., Complex systems: spanning control and computational cybernetics: applications. Dedicated to Professor Georgi M. Dimirovski on his anniversary. Cham: Springer. Stud. Syst. Decis. Control 415, 35-58 (2022). MSC: 93C85 93C65 PDF BibTeX XML Cite \textit{F. Özen} and \textit{D. B. Tükel}, Stud. Syst. Decis. Control 415, 35--58 (2022; Zbl 1504.93255) Full Text: DOI OpenURL
Gupta, Sakshi; Singh, Gajendra Pratap; Kumawat, Sunita Modeling and targeting an essential metabolic pathway of Plasmodium falciparum in apicoplast using Petri nets. (English) Zbl 1499.92029 Appl. Math., Ser. B (Engl. Ed.) 37, No. 1, 91-110 (2022). MSC: 92C40 92C42 92-08 PDF BibTeX XML Cite \textit{S. Gupta} et al., Appl. Math., Ser. B (Engl. Ed.) 37, No. 1, 91--110 (2022; Zbl 1499.92029) Full Text: DOI OpenURL
Abbes, Samy Deterministic concurrent systems. (English) Zbl 1489.68148 Buchs, Didier (ed.) et al., Application and theory of Petri nets and concurrency. 42nd international conference, PETRI NETS 2021, virtual event, June 23–25, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12734, 423-442 (2021). MSC: 68Q85 PDF BibTeX XML Cite \textit{S. Abbes}, Lect. Notes Comput. Sci. 12734, 423--442 (2021; Zbl 1489.68148) Full Text: DOI arXiv OpenURL
Kang, Jiawen; Bai, Yunjun; Jiao, Li Abstraction-based incremental inductive coverability for Petri nets. (English) Zbl 1489.68162 Buchs, Didier (ed.) et al., Application and theory of Petri nets and concurrency. 42nd international conference, PETRI NETS 2021, virtual event, June 23–25, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12734, 379-398 (2021). MSC: 68Q85 68Q60 68W05 PDF BibTeX XML Cite \textit{J. Kang} et al., Lect. Notes Comput. Sci. 12734, 379--398 (2021; Zbl 1489.68162) Full Text: DOI OpenURL
Gieseking, Manuel; Würdemann, Nick Canonical representations for direct generation of strategies in high-level Petri games. (English) Zbl 1489.68159 Buchs, Didier (ed.) et al., Application and theory of Petri nets and concurrency. 42nd international conference, PETRI NETS 2021, virtual event, June 23–25, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12734, 95-117 (2021). MSC: 68Q85 68Q60 91A80 PDF BibTeX XML Cite \textit{M. Gieseking} and \textit{N. Würdemann}, Lect. Notes Comput. Sci. 12734, 95--117 (2021; Zbl 1489.68159) Full Text: DOI arXiv OpenURL
Gorrieri, Roberto Branching place bisimilarity: a decidable behavioral equivalence for finite Petri nets with silent moves. (English) Zbl 1490.68140 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, 80-99 (2021). MSC: 68Q85 PDF BibTeX XML Cite \textit{R. Gorrieri}, Lect. Notes Comput. Sci. 12719, 80--99 (2021; Zbl 1490.68140) Full Text: DOI OpenURL
Pinna, G. Michele A new operational representation of dependencies in event structures. (English) Zbl 07471676 Log. Methods Comput. Sci. 17, No. 4, Paper No. 16, 30 p. (2021). MSC: 03B70 68-XX PDF BibTeX XML Cite \textit{G. M. Pinna}, Log. Methods Comput. Sci. 17, No. 4, Paper No. 16, 30 p. (2021; Zbl 07471676) Full Text: arXiv Link OpenURL
Bartoletti, Massimo; Galletta, Letterio; Murgia, Maurizio A theory of transaction parallelism in blockchains. (English) Zbl 07471670 Log. Methods Comput. Sci. 17, No. 4, Paper No. 10, 44 p. (2021). MSC: 03B70 68-XX PDF BibTeX XML Cite \textit{M. Bartoletti} et al., Log. Methods Comput. Sci. 17, No. 4, Paper No. 10, 44 p. (2021; Zbl 07471670) Full Text: arXiv Link OpenURL
Kalenkova, Anna; Carmona, Josep; Polyvyanyy, Artem; La Rosa, Marcello Automated repair of process models with non-local constraints using state-based region theory. (English) Zbl 07467848 Fundam. Inform. 183, No. 3-4, 293-317 (2021). MSC: 68-XX 68-XX PDF BibTeX XML Cite \textit{A. Kalenkova} et al., Fundam. Inform. 183, No. 3--4, 293--317 (2021; Zbl 07467848) Full Text: DOI arXiv OpenURL
Camilli, Matteo; Capra, Lorenzo Formal specification and verification of decentralized self-adaptive systems using symmetric nets. (English) Zbl 1480.93259 Discrete Event Dyn. Syst. 31, No. 4, 609-657 (2021). MSC: 93C65 93A14 93C40 PDF BibTeX XML Cite \textit{M. Camilli} and \textit{L. Capra}, Discrete Event Dyn. Syst. 31, No. 4, 609--657 (2021; Zbl 1480.93259) Full Text: DOI OpenURL
van Glabbeek, Rob; Goltz, Ursula; Schicke-Uffmann, Jens-Wolfhard Abstract processes and conflicts in place/transition systems. (English) Zbl 07433283 Inf. Comput. 281, Article ID 104706, 13 p. (2021). MSC: 68Qxx PDF BibTeX XML Cite \textit{R. van Glabbeek} et al., Inf. Comput. 281, Article ID 104706, 13 p. (2021; Zbl 07433283) Full Text: DOI arXiv OpenURL
Athaiya, Snigdha; Komondoor, Raghavan; Kumar, K. Narayan Data flow analysis of asynchronous systems using infinite abstract domains. (English) Zbl 1473.68110 Yoshida, Nobuko (ed.), Programming languages and systems. 30th European symposium on programming, ESOP 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12648, 30-58 (2021). MSC: 68Q85 68M14 68N30 PDF BibTeX XML Cite \textit{S. Athaiya} et al., Lect. Notes Comput. Sci. 12648, 30--58 (2021; Zbl 1473.68110) Full Text: DOI arXiv OpenURL
Capra, Lorenzo A structural approach to graph transformation based on symmetric Petri nets. (English) Zbl 07363404 J. Log. Algebr. Methods Program. 120, Article ID 100639, 28 p. (2021). MSC: 68-XX PDF BibTeX XML Cite \textit{L. Capra}, J. Log. Algebr. Methods Program. 120, Article ID 100639, 28 p. (2021; Zbl 07363404) Full Text: DOI Link OpenURL
Kalenkova, Anna; Carmona, Josep; Polyvyanyy, Artem; La Rosa, Marcello Automated repair of process models using non-local constraints. (English) Zbl 1503.68193 Janicki, Ryszard (ed.) et al., Application and theory of Petri nets and concurrency. 41st international conference, PETRI NETS 2020, Paris, France, June 24–25, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12152, 280-300 (2020). MSC: 68Q85 PDF BibTeX XML Cite \textit{A. Kalenkova} et al., Lect. Notes Comput. Sci. 12152, 280--300 (2020; Zbl 1503.68193) Full Text: DOI OpenURL
Desel, Jörg; Finthammer, Marc Stop-transitions of Petri nets. (English) Zbl 1497.68334 Fundam. Inform. 175, No. 1-4, 143-172 (2020). MSC: 68Q85 PDF BibTeX XML Cite \textit{J. Desel} and \textit{M. Finthammer}, Fundam. Inform. 175, No. 1--4, 143--172 (2020; Zbl 1497.68334) Full Text: DOI OpenURL
Pinna, G. Michele Representing dependencies in event structures. (English) Zbl 07215282 Log. Methods Comput. Sci. 16, No. 2, Paper No. 3, 25 p. (2020). MSC: 03B70 68-XX PDF BibTeX XML Cite \textit{G. M. Pinna}, Log. Methods Comput. Sci. 16, No. 2, Paper No. 3, 25 p. (2020; Zbl 07215282) Full Text: arXiv Link OpenURL
Bonchi, Filippo; Piedeleu, Robin; Sobocinski, Pawel; Zanasi, Fabio Bialgebraic semantics for string diagrams. (English) Zbl 07649945 Fokkink, Wan (ed.) et al., 30th international conference on concurrency theory, CONCUR 2019, Amsterdam, the Netherlands, August 27–30, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 140, Article 37, 17 p. (2019). MSC: 68Q85 PDF BibTeX XML Cite \textit{F. Bonchi} et al., LIPIcs -- Leibniz Int. Proc. Inform. 140, Article 37, 17 p. (2019; Zbl 07649945) Full Text: DOI arXiv OpenURL
Beutner, Raven; Finkbeiner, Bernd; Hecking-Harbusch, Jesko Translating asynchronous games for distributed synthesis. (English) Zbl 07649934 Fokkink, Wan (ed.) et al., 30th international conference on concurrency theory, CONCUR 2019, Amsterdam, the Netherlands, August 27–30, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 140, Article 26, 16 p. (2019). MSC: 68Q85 PDF BibTeX XML Cite \textit{R. Beutner} et al., LIPIcs -- Leibniz Int. Proc. Inform. 140, Article 26, 16 p. (2019; Zbl 07649934) Full Text: DOI arXiv OpenURL
Olarte, Carlos; de Paiva, Valeria; Pimentel, Elaine; Reis, Giselle The ILLTP library for intuitionistic linear logic. (English) Zbl 1486.03026 Ehrhard, Thomas (ed.) et al., Proceedings of the joint international workshop on linearity & trends in linear logic and applications, Linearity-TLLA 2018, Oxford, UK, July 7–8, 2018. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 292, 118-132 (2019). MSC: 03B35 68V15 03F52 03B20 68Q85 PDF BibTeX XML Cite \textit{C. Olarte} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 292, 118--132 (2019; Zbl 1486.03026) Full Text: arXiv Link OpenURL
Finkbeiner, Bernd; Gieseking, Manuel; Hecking-Harbusch, Jesko; Olderog, Ernst-Rüdiger Model checking data flows in concurrent network updates. (English) Zbl 1437.68115 Chen, Yu-Fang (ed.) et al., Automated technology for verification and analysis. 17th international symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11781, 515-533 (2019). MSC: 68Q60 68Q85 PDF BibTeX XML Cite \textit{B. Finkbeiner} et al., Lect. Notes Comput. Sci. 11781, 515--533 (2019; Zbl 1437.68115) Full Text: DOI arXiv OpenURL
Hecking-Harbusch, Jesko; Metzger, Niklas O. Efficient trace encodings of bounded synthesis for asynchronous distributed systems. (English) Zbl 1437.68128 Chen, Yu-Fang (ed.) et al., Automated technology for verification and analysis. 17th international symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11781, 369-386 (2019). MSC: 68Q85 PDF BibTeX XML Cite \textit{J. Hecking-Harbusch} and \textit{N. O. Metzger}, Lect. Notes Comput. Sci. 11781, 369--386 (2019; Zbl 1437.68128) Full Text: DOI arXiv OpenURL
Abbes, Samy Markovian dynamics of concurrent systems. (English) Zbl 1435.68210 Discrete Event Dyn. Syst. 29, No. 4, 527-566 (2019). MSC: 68Q85 60J20 68Q87 PDF BibTeX XML Cite \textit{S. Abbes}, Discrete Event Dyn. Syst. 29, No. 4, 527--566 (2019; Zbl 1435.68210) Full Text: DOI arXiv OpenURL
Baldan, Paolo; Gadducci, Fabio Petri nets are dioids: a new algebraic foundation for non-deterministic net theory. (English) Zbl 1417.68114 Acta Inf. 56, No. 1, 61-92 (2019). Reviewer: Jörg Desel (Hagen) MSC: 68Q85 18B20 68Q10 PDF BibTeX XML Cite \textit{P. Baldan} and \textit{F. Gadducci}, Acta Inf. 56, No. 1, 61--92 (2019; Zbl 1417.68114) Full Text: DOI OpenURL
Cabrera, Benjamin; Heindel, Tobias; Heckel, Reiko; König, Barbara Updating probabilistic knowledge on condition/event nets using Bayesian networks. (English) Zbl 07378571 Schewe, Sven (ed.) et al., 29th international conference on concurrency theory. CONCUR 2018, Beijing, China, September 4–7, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 118, Article 27, 17 p. (2018). MSC: 68Q85 PDF BibTeX XML Cite \textit{B. Cabrera} et al., LIPIcs -- Leibniz Int. Proc. Inform. 118, Article 27, 17 p. (2018; Zbl 07378571) Full Text: DOI arXiv OpenURL
Madeira, Alexandre; Barbosa, Luís S.; Hennicker, Rolf; Martins, Manuel A. A logic for the stepwise development of reactive systems. (English) Zbl 1400.68125 Theor. Comput. Sci. 744, 78-96 (2018). MSC: 68Q60 03B70 68Q85 PDF BibTeX XML Cite \textit{A. Madeira} et al., Theor. Comput. Sci. 744, 78--96 (2018; Zbl 1400.68125) Full Text: DOI Link OpenURL
Majumdar, Rupak; Raskin, Jean-François Symbolic model checking in non-Boolean domains. (English) Zbl 1392.68259 Clarke, Edmund M. (ed.) et al., Handbook of model checking. Cham: Springer (ISBN 978-3-319-10574-1/hbk; 978-3-319-10575-8/ebook). 1111-1147 (2018). MSC: 68Q60 PDF BibTeX XML Cite \textit{R. Majumdar} and \textit{J.-F. Raskin}, in: Handbook of model checking. Cham: Springer. 1111--1147 (2018; Zbl 1392.68259) Full Text: DOI OpenURL
Seshia, Sanjit A.; Sharygina, Natasha; Tripakis, Stavros Modeling for verification. (English) Zbl 1392.68264 Clarke, Edmund M. (ed.) et al., Handbook of model checking. Cham: Springer (ISBN 978-3-319-10574-1/hbk; 978-3-319-10575-8/ebook). 75-105 (2018). MSC: 68Q60 PDF BibTeX XML Cite \textit{S. A. Seshia} et al., in: Handbook of model checking. Cham: Springer. 75--105 (2018; Zbl 1392.68264) Full Text: DOI OpenURL
Krishna, Shankara Narayanan; Gheorghe, Marian; Ipate, Florentin; Csuhaj-Varjú, Erzsébet; Ceterchi, Rodica Further results on generalised communicating P systems. (English) Zbl 1382.68075 Theor. Comput. Sci. 701, 146-160 (2017). MSC: 68Q05 PDF BibTeX XML Cite \textit{S. N. Krishna} et al., Theor. Comput. Sci. 701, 146--160 (2017; Zbl 1382.68075) Full Text: DOI Link OpenURL
Alechina, Natasha; Logan, Brian; Nguyen, Hoang Nga; Raimondi, Franco Model-checking for resource-bounded ATL with production and consumption of resources. (English) Zbl 1371.68173 J. Comput. Syst. Sci. 88, 126-144 (2017). MSC: 68Q60 03B44 68Q25 PDF BibTeX XML Cite \textit{N. Alechina} et al., J. Comput. Syst. Sci. 88, 126--144 (2017; Zbl 1371.68173) Full Text: DOI arXiv OpenURL
Finkbeiner, Bernd; Olderog, Ernst-Rüdiger Petri games: synthesis of distributed systems with causal memory. (English) Zbl 1362.68211 Inf. Comput. 253, Part 2, 181-203 (2017). MSC: 68Q85 68Q17 91A43 PDF BibTeX XML Cite \textit{B. Finkbeiner} and \textit{E.-R. Olderog}, Inf. Comput. 253, Part 2, 181--203 (2017; Zbl 1362.68211) Full Text: DOI arXiv OpenURL
Li, Chuanyi; Ge, Jidong; Huang, Liguo; Hu, Haiyang; Wu, Budan; Yang, Hongji; Hu, Hao; Luo, Bin Process mining with token carried data. (English) Zbl 1390.68540 Inf. Sci. 328, 558-576 (2016). MSC: 68T05 68Q85 PDF BibTeX XML Cite \textit{C. Li} et al., Inf. Sci. 328, 558--576 (2016; Zbl 1390.68540) Full Text: DOI OpenURL
Madeira, Alexandre; Barbosa, Luis S.; Hennicker, Rolf; Martins, Manuel A. Dynamic logic with binders and its application to the development of reactive systems. (English) Zbl 1482.68143 Sampaio, Augusto (ed.) et al., Theoretical aspects of computing – ICTAC 2016. 13th international colloquium, Taipei, Taiwan, ROC, October 24–31, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9965, 422-440 (2016). MSC: 68Q60 03B70 68Q85 PDF BibTeX XML Cite \textit{A. Madeira} et al., Lect. Notes Comput. Sci. 9965, 422--440 (2016; Zbl 1482.68143) Full Text: DOI Link OpenURL
Martín, Óscar; Verdejo, Alberto; Martí-Oliet, Narciso Egalitarian state-transition systems. (English) Zbl 1367.68198 Lucanu, Dorel (ed.), Rewriting logic and its applications. 11th international workshop, WRLA 2016, held as a satellite event of ETAPS, Eindhoven, The Netherlands, April 2–3, 2016. Revised selected papers. Cham: Springer (ISBN 978-3-319-44801-5/pbk; 978-3-319-44802-2/ebook). Lecture Notes in Computer Science 9942, 98-117 (2016). MSC: 68Q60 03B44 68Q42 PDF BibTeX XML Cite \textit{Ó. Martín} et al., Lect. Notes Comput. Sci. 9942, 98--117 (2016; Zbl 1367.68198) Full Text: DOI OpenURL
Barylska, Kamila; Koutny, Maciej; Mikulski, Łukasz; Piątkowski, Marcin Reversible computation vs. reversibility in Petri nets. (English) Zbl 1476.68164 Devitt, Simon (ed.) et al., Reversible computation. 8th international conference, RC 2016, Bologna, Italy, July 7–8, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9720, 105-118 (2016). MSC: 68Q85 68Q10 PDF BibTeX XML Cite \textit{K. Barylska} et al., Lect. Notes Comput. Sci. 9720, 105--118 (2016; Zbl 1476.68164) Full Text: DOI Link OpenURL
Gogolinska, Anna; Jakubowski, Rafal; Nowak, Wieslaw Petri nets formalism facilitates analysis of complex biomolecular structural data. (English) Zbl 1338.90078 RAIRO, Oper. Res. 50, No. 2, 401-411 (2016). MSC: 90B10 68W99 92-08 PDF BibTeX XML Cite \textit{A. Gogolinska} et al., RAIRO, Oper. Res. 50, No. 2, 401--411 (2016; Zbl 1338.90078) Full Text: DOI OpenURL
Fu, Yuxi Theory of interaction. (English) Zbl 1353.68082 Theor. Comput. Sci. 611, 1-49 (2016). MSC: 68Q05 68Q85 PDF BibTeX XML Cite \textit{Y. Fu}, Theor. Comput. Sci. 611, 1--49 (2016; Zbl 1353.68082) Full Text: DOI OpenURL
Nehaniv, Chrystopher L.; Rhodes, John; Egri-Nagy, Attila; Dini, Paolo; Rothstein Morris, Eric; Horváth, Gábor; Karimi, Fariba; Schreckling, Daniel; Schilstra, Maria J. Symmetry structure in discrete models of biochemical systems: natural subsystems and the weak control hierarchy in a new model of computation driven by interactions. (English) Zbl 1353.92043 Philos. Trans. A, R. Soc. Lond. 373, No. 2046, Article ID 20140223, 46 p. (2015). MSC: 92C40 68Q80 PDF BibTeX XML Cite \textit{C. L. Nehaniv} et al., Philos. Trans. A, R. Soc. Lond. 373, No. 2046, Article ID 20140223, 46 p. (2015; Zbl 1353.92043) Full Text: DOI Link OpenURL
Gorrieri, Roberto Language representability of finite P/T nets. (English) Zbl 1434.68325 Bodei, Chiara (ed.) et al., Programming languages with applications to biology and security. Essays dedicated to Pierpaolo Degano on the occasion of his 65th birthday. Cham: Springer. Lect. Notes Comput. Sci. 9465, 262-282 (2015). MSC: 68Q85 68Q55 PDF BibTeX XML Cite \textit{R. Gorrieri}, Lect. Notes Comput. Sci. 9465, 262--282 (2015; Zbl 1434.68325) Full Text: DOI OpenURL
van Glabbeek, Rob J. Structure preserving bisimilarity, supporting an operational Petri net semantics of CCSP. (English) Zbl 1444.68125 Meyer, Roland (ed.) et al., Correct system design. Symposium in honor of Ernst-Rüdiger Olderog on the occasion of his 60th birthday, Oldenburg, Germany, September 8–9, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9360, 99-130 (2015). MSC: 68Q85 68Q55 PDF BibTeX XML Cite \textit{R. J. van Glabbeek}, Lect. Notes Comput. Sci. 9360, 99--130 (2015; Zbl 1444.68125) Full Text: DOI arXiv OpenURL
Bartoletti, Massimo; Degano, Pierpaolo; Di Giamberardino, Paolo; Zunino, Roberto Debits and credits in Petri nets and linear logic. (English) Zbl 1321.68356 Martí-Oliet, Narciso (ed.) et al., Logic, rewriting, and concurrency. Essays dedicated to José Meseguer on the occasion of his 65th birthday. Cham: Springer (ISBN 978-3-319-23164-8/pbk; 978-3-319-23165-5/ebook). Lecture Notes in Computer Science 9200, 135-159 (2015). MSC: 68Q85 03B70 03F52 PDF BibTeX XML Cite \textit{M. Bartoletti} et al., Lect. Notes Comput. Sci. 9200, 135--159 (2015; Zbl 1321.68356) Full Text: DOI Link OpenURL
Akshay, S.; Gastin, Paul; Mukund, Madhavan; Kumar, K. Narayan Checking conformance for time-constrained scenario-based specifications. (English) Zbl 1328.68124 Theor. Comput. Sci. 594, 24-43 (2015). MSC: 68Q60 68Q45 PDF BibTeX XML Cite \textit{S. Akshay} et al., Theor. Comput. Sci. 594, 24--43 (2015; Zbl 1328.68124) Full Text: DOI OpenURL
van Glabbeek, Rob J.; Höfner, Peter CCS: it’s not fair! Fair schedulers cannot be implemented in CCS-like languages even under progress and certain fairness assumptions. (English) Zbl 1327.68171 Acta Inf. 52, No. 2-3, 175-205 (2015). MSC: 68Q85 PDF BibTeX XML Cite \textit{R. J. van Glabbeek} and \textit{P. Höfner}, Acta Inf. 52, No. 2--3, 175--205 (2015; Zbl 1327.68171) Full Text: DOI arXiv OpenURL
Thiagarajan, P. S.; Yang, Shaofa Rabin’s theorem in the concurrency setting: a conjecture. (English) Zbl 1308.68085 Theor. Comput. Sci. 546, 225-236 (2014). Reviewer: Jörg Desel (Hagen) MSC: 68Q85 03B25 03B44 PDF BibTeX XML Cite \textit{P. S. Thiagarajan} and \textit{S. Yang}, Theor. Comput. Sci. 546, 225--236 (2014; Zbl 1308.68085) Full Text: DOI OpenURL
Casu, Giovanni; Pinna, G. Michele Flow unfolding of multi-clock nets. (English) Zbl 1410.68248 Ciardo, Gianfranco (ed.) et al., Application and theory of Petri nets and concurrency. 35th international conference, PETRI NETS 2014, Tunis, Tunisia, June 23–27, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8489, 170-189 (2014). MSC: 68Q85 PDF BibTeX XML Cite \textit{G. Casu} and \textit{G. M. Pinna}, Lect. Notes Comput. Sci. 8489, 170--189 (2014; Zbl 1410.68248) Full Text: DOI OpenURL
Eshuis, Rik Statechartable Petri nets. (English) Zbl 1298.68190 Formal Asp. Comput. 25, No. 5, 659-681 (2013). MSC: 68Q85 PDF BibTeX XML Cite \textit{R. Eshuis}, Formal Asp. Comput. 25, No. 5, 659--681 (2013; Zbl 1298.68190) Full Text: DOI OpenURL
Leite, Saul C.; Fragoso, Marcelo D. Diffusion approximation for signaling stochastic networks. (English) Zbl 1298.60091 Stochastic Processes Appl. 123, No. 8, 2957-2982 (2013). MSC: 60K25 60K20 PDF BibTeX XML Cite \textit{S. C. Leite} and \textit{M. D. Fragoso}, Stochastic Processes Appl. 123, No. 8, 2957--2982 (2013; Zbl 1298.60091) 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 OpenURL
Ackermann, J.; Einloft, J.; Nöthen, J.; Koch, Ina Reduction techniques for network validation in systems biology. (English) Zbl 1397.92247 J. Theor. Biol. 315, 71-80 (2012). MSC: 92C42 68Q85 PDF BibTeX XML Cite \textit{J. Ackermann} et al., J. Theor. Biol. 315, 71--80 (2012; Zbl 1397.92247) Full Text: DOI OpenURL
Bodei, Chiara; Brodo, Linda; Chiarugi, Davide Control flow analysis of generalised Boolean networks. (English) Zbl 1283.92058 Feret, Jérôme (ed.) et al., Proceedings of the 2nd international workshop on static analysis and systems biology (SASB 2011), Venice, Italy, September 13, 2011. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 284, 3-22 (2012). MSC: 92D10 92C42 PDF BibTeX XML Cite \textit{C. Bodei} et al., Electron. Notes Theor. Comput. Sci. 284, 3--22 (2012; Zbl 1283.92058) Full Text: DOI OpenURL
Ben-Amram, Amir M.; Genaim, Samir; Masud, Abu Naser On the termination of integer loops. (English) Zbl 1325.68056 Kuncak, Viktor (ed.) et al., Verification, model checking, and abstract interpretation. 13th international conference, VMCAI 2012, Philadelphia, PA, USA, January 22–24, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-27939-3/pbk). Lecture Notes in Computer Science 7148, 72-87 (2012). MSC: 68N30 68Q17 68Q85 PDF BibTeX XML Cite \textit{A. M. Ben-Amram} et al., Lect. Notes Comput. Sci. 7148, 72--87 (2012; Zbl 1325.68056) Full Text: DOI OpenURL
Harel, David; Kantor, Amir Multi-modal scenarios revisited: a net-based representation. (English) Zbl 1244.68051 Theor. Comput. Sci. 429, 118-127 (2012). MSC: 68Q55 68Q60 68Q85 PDF BibTeX XML Cite \textit{D. Harel} and \textit{A. Kantor}, Theor. Comput. Sci. 429, 118--127 (2012; Zbl 1244.68051) Full Text: DOI OpenURL
Wang, Yunhe; Jiao, Li Using transition set sequences to partition behaviors of Petri nets. (English) Zbl 1234.68311 Acta Inf. 49, No. 1, 15-28 (2012). MSC: 68Q85 PDF BibTeX XML Cite \textit{Y. Wang} and \textit{L. Jiao}, Acta Inf. 49, No. 1, 15--28 (2012; Zbl 1234.68311) Full Text: DOI OpenURL
Polyvyanyy, Artem; Weidlich, Matthias; Weske, Mathias Connectivity of workflow nets: The foundations of stepwise verification. (English) Zbl 1234.68305 Acta Inf. 48, No. 4, 213-242 (2011). MSC: 68Q85 68R10 05C40 PDF BibTeX XML Cite \textit{A. Polyvyanyy} et al., Acta Inf. 48, No. 4, 213--242 (2011; Zbl 1234.68305) Full Text: DOI Link OpenURL
Srivastava, Arun K.; Tiwari, S. P. On categories of fuzzy Petri nets. (English) Zbl 1233.68171 Adv. Fuzzy Syst. 2011, Article ID 812040, 5 p. (2011). MSC: 68Q85 18A40 18D15 PDF BibTeX XML Cite \textit{A. K. Srivastava} and \textit{S. P. Tiwari}, Adv. Fuzzy Syst. 2011, Article ID 812040, 5 p. (2011; Zbl 1233.68171) Full Text: DOI OpenURL
Gao, Han; Nielson, Flemming; Nielson, Hanne Riis CaPiTo: Protocol stacks for services. (English) Zbl 1226.68029 Formal Asp. Comput. 23, No. 4, 541-565 (2011). MSC: 68N30 68Q85 68Q60 68M12 PDF BibTeX XML Cite \textit{H. Gao} et al., Formal Asp. Comput. 23, No. 4, 541--565 (2011; Zbl 1226.68029) Full Text: DOI OpenURL
Torres, Luis M.; Wagler, Annegret K. Encoding the dynamics of deterministic systems. (English) Zbl 1228.93079 Math. Methods Oper. Res. 73, No. 3, 281-300 (2011). MSC: 93C65 94C15 PDF BibTeX XML Cite \textit{L. M. Torres} and \textit{A. K. Wagler}, Math. Methods Oper. Res. 73, No. 3, 281--300 (2011; Zbl 1228.93079) Full Text: DOI OpenURL
Pinna, G. Michele How much is worth to remember? A taxonomy based on Petri nets unfoldings. (English) Zbl 1330.68214 Kristensen, Lars M. (ed.) et al., Applications and theory of Petri nets. 32nd international conference, PETRI NETS 2011, Newcastle, UK, June 20–24, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21833-0/pbk). Lecture Notes in Computer Science 6709, 109-128 (2011). MSC: 68Q85 PDF BibTeX XML Cite \textit{G. M. Pinna}, Lect. Notes Comput. Sci. 6709, 109--128 (2011; Zbl 1330.68214) Full Text: DOI OpenURL
Andova, S.; Groenewegen, L. P. J.; de Vink, E. P. Dynamic consistency in process algebra: from paradigm to ACP. (English) Zbl 1213.68398 Sci. Comput. Program. 76, No. 8, 711-735 (2011). MSC: 68Q85 68N30 68N99 PDF BibTeX XML Cite \textit{S. Andova} et al., Sci. Comput. Program. 76, No. 8, 711--735 (2011; Zbl 1213.68398) Full Text: DOI OpenURL
Cardelli, Luca Strand algebras for DNA computing. (English) Zbl 1221.68164 Nat. Comput. 10, No. 1, 407-428 (2011). MSC: 68Q85 68Q10 92D20 PDF BibTeX XML Cite \textit{L. Cardelli}, Nat. Comput. 10, No. 1, 407--428 (2011; Zbl 1221.68164) Full Text: DOI Link OpenURL
Torres, Luis M.; Wagler, Annegret K. Model reconstruction for discrete deterministic systems. (English) Zbl 1237.90212 Haouari, M. (ed.) et al., ISCO 2010. International symposium on combinatorial optimization. Papers based on the presentations at the symposium, Hammamet, Tunesia, March 24–26, 2010. Amsterdam: Elsevier. Electronic Notes in Discrete Mathematics 36, 175-182 (2010). MSC: 90C27 93C65 PDF BibTeX XML Cite \textit{L. M. Torres} and \textit{A. K. Wagler}, Electron. Notes Discrete Math. 36, 175--182 (2010; Zbl 1237.90212) Full Text: DOI OpenURL
Lazić, Ranko The reachability problem for branching vector addition systems requires doubly-exponential space. (English) Zbl 1234.68139 Inf. Process. Lett. 110, No. 17, 740-745 (2010). MSC: 68Q17 68Q85 PDF BibTeX XML Cite \textit{R. Lazić}, Inf. Process. Lett. 110, No. 17, 740--745 (2010; Zbl 1234.68139) Full Text: DOI OpenURL
Ciancia, Vincenzo; Montanari, Ugo Symmetries, local names and dynamic (de)-allocation of names. (English) Zbl 1207.68223 Inf. Comput. 208, No. 12, 1349-1367 (2010). MSC: 68Q85 68Q45 PDF BibTeX XML Cite \textit{V. Ciancia} and \textit{U. Montanari}, Inf. Comput. 208, No. 12, 1349--1367 (2010; Zbl 1207.68223) Full Text: DOI OpenURL
Delzanno, Giorgio; Van Begin, Laurent On the verification of membrane systems with dynamic structure. (English) Zbl 1207.68148 Nat. Comput. 9, No. 4, 795-818 (2010). MSC: 68Q10 PDF BibTeX XML Cite \textit{G. Delzanno} and \textit{L. Van Begin}, Nat. Comput. 9, No. 4, 795--818 (2010; Zbl 1207.68148) Full Text: DOI OpenURL
Sroka, Jacek; Hidders, Jan; Missier, Paolo; Goble, Carole A formal semantics for the Taverna 2 workflow model. (English) Zbl 1214.68208 J. Comput. Syst. Sci. 76, No. 6, 490-508 (2010). MSC: 68Q55 PDF BibTeX XML Cite \textit{J. Sroka} et al., J. Comput. Syst. Sci. 76, No. 6, 490--508 (2010; Zbl 1214.68208) Full Text: DOI OpenURL
Cardelli, Luca; Zavattaro, Gianluigi Turing universality of the biochemical ground form. (English) Zbl 1191.68301 Math. Struct. Comput. Sci. 20, No. 1, 45-73 (2010). MSC: 68Q05 68Q10 68Q85 92C40 PDF BibTeX XML Cite \textit{L. Cardelli} and \textit{G. Zavattaro}, Math. Struct. Comput. Sci. 20, No. 1, 45--73 (2010; Zbl 1191.68301) Full Text: DOI OpenURL
Zavattaro, Gianluigi Reachability analysis in BioAmbients. (English) Zbl 1347.68275 Ciobanu, Gabriel (ed.), Proceedings of the 2nd international meeting on membrane computing and biologically inspired process calculi (MeCBIC 2008), Iaşi, Romania, September 3–4, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 227, 179-193 (2009). MSC: 68Q85 92C42 PDF BibTeX XML Cite \textit{G. Zavattaro}, Electron. Notes Theor. Comput. Sci. 227, 179--193 (2009; Zbl 1347.68275) Full Text: DOI OpenURL
Fossati, Luca; Varacca, Daniele A Petri net model of handshake protocols. (English) Zbl 1291.68284 Bonchi, Filippo (ed.) et al., Proceedings of the 1st interaction and concurrency experiences workshop (ICE 2008), Reykjavik, Iceland, July 6, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 229, No. 3, 59-76 (2009). MSC: 68Q85 68M12 PDF BibTeX XML Cite \textit{L. Fossati} and \textit{D. Varacca}, Electron. Notes Theor. Comput. Sci. 229, No. 3, 59--76 (2009; Zbl 1291.68284) Full Text: DOI OpenURL
Heiner, Monika; Lehrack, Sebastian; Gilbert, David; Marwan, Wolfgang Extended stochastic Petri nets for model-based design of wetlab experiments. (English) Zbl 1260.68268 Priami, Corrado (ed.) et al., Transactions on Computational Systems Biology XI. Berlin: Springer (ISBN 978-3-642-04185-3/pbk). Lecture Notes in Computer Science 5750. Lecture Notes in Bioinformatics. Journal Subline, 138-163 (2009). MSC: 68Q85 68Q87 92-08 92C40 PDF BibTeX XML Cite \textit{M. Heiner} et al., Lect. Notes Comput. Sci. 5750, 138--163 (2009; Zbl 1260.68268) Full Text: DOI OpenURL
Baldan, Paolo; Bonchi, Filippo; Gadducci, Fabio Encoding asynchronous interactions using open Petri nets. (English) Zbl 1254.68161 Bravetti, Mario (ed.) et al., CONCUR 2009 – concurrency theory. 20th international conference, CONCUR 2009, Bologna, Italy, September 1–4, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04080-1/pbk). Lecture Notes in Computer Science 5710, 99-114 (2009). MSC: 68Q85 PDF BibTeX XML Cite \textit{P. Baldan} et al., Lect. Notes Comput. Sci. 5710, 99--114 (2009; Zbl 1254.68161) Full Text: DOI OpenURL
Van Glabbeek, R. J.; Plotkin, G. D. Configuration structures, event structures and Petri nets. (English) Zbl 1187.68329 Theor. Comput. Sci. 410, No. 41, 4111-4159 (2009). MSC: 68Q85 PDF BibTeX XML Cite \textit{R. J. Van Glabbeek} and \textit{G. D. Plotkin}, Theor. Comput. Sci. 410, No. 41, 4111--4159 (2009; Zbl 1187.68329) Full Text: DOI arXiv OpenURL
Abdulla, Parosh Aziz; Delzanno, Giorgio; Van Begin, Laurent On the qualitative analysis of conformon P systems. (English) Zbl 1196.68085 Corne, David Wolfe (ed.) et al., Membrane computing. 9th international workshop, WMC 2008, Edinburgh, UK, July 28–31, 2008. Revised selected and invited papers. Berlin: Springer (ISBN 978-3-540-95884-0/pbk). Lecture Notes in Computer Science 5391, 78-94 (2009). MSC: 68Q10 68Q85 PDF BibTeX XML Cite \textit{P. A. Abdulla} et al., Lect. Notes Comput. Sci. 5391, 78--94 (2009; Zbl 1196.68085) Full Text: DOI OpenURL
Janssens, Gerrit K.; Sörensen, Kenneth; Dullaert, Wout An upper bound on the cycle time of a stochastic marked graph using incomplete information on the transition firing time distributions. (English) Zbl 1165.60347 Math. Comput. Modelling 49, No. 3-4, 563-572 (2009). MSC: 60K30 05C90 PDF BibTeX XML Cite \textit{G. K. Janssens} et al., Math. Comput. Modelling 49, No. 3--4, 563--572 (2009; Zbl 1165.60347) Full Text: DOI Link OpenURL
Blazewicz, Jacek; Formanowicz, Dorota; Formanowicz, Piotr; Sackmann, Andrea; Sajkowski, Michał Modeling the process of human body iron homeostasis using a variant of timed Petri nets. (English) Zbl 1194.92018 Discrete Appl. Math. 157, No. 10, 2221-2231 (2009). MSC: 92C30 05C90 92C45 92C40 PDF BibTeX XML Cite \textit{J. Blazewicz} et al., Discrete Appl. Math. 157, No. 10, 2221--2231 (2009; Zbl 1194.92018) Full Text: DOI OpenURL
van Hee, K. M.; Verbeek, H. M. W.; Stahl, Christian; Sidorova, N. A framework for linking and pricing no-cure-no-pay services. (English) Zbl 1235.68040 Jensen, Kurt (ed.) et al., Transactions on Petri Nets and Other Models of Concurrency II. Special issue on concurrency in process-aware information systems. Berlin: Springer (ISBN 978-3-642-00898-6/pbk). Lecture Notes in Computer Science 5460. Journal Subline, 192-207 (2009). MSC: 68M11 68Q85 PDF BibTeX XML Cite \textit{K. M. van Hee} et al., Lect. Notes Comput. Sci. 5460, 192--207 (2009; Zbl 1235.68040) Full Text: DOI Link OpenURL
Fossati, Luca; Varacca, Daniele The calculus of handshake configurations. (English) Zbl 1234.68296 de Alfaro, Luca (ed.), Foundations of software science and computational structures. 12th international conference, FOSSACS 2009, held as part of the joint European conferences on theory and practice of software, ETAPS 2009, York, UK, March 22–29, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-00595-4/pbk). Lecture Notes in Computer Science 5504, 227-241 (2009). MSC: 68Q85 68M12 PDF BibTeX XML Cite \textit{L. Fossati} and \textit{D. Varacca}, Lect. Notes Comput. Sci. 5504, 227--241 (2009; Zbl 1234.68296) Full Text: DOI OpenURL
Busi, Nadia; Gorrieri, Roberto Distributed semantics for the \(\pi \)-calculus based on Petri nets with inhibitor ARCS. (English) Zbl 1169.68031 J. Log. Algebr. Program. 78, No. 3, 138-162 (2009). MSC: 68Q85 68Q55 PDF BibTeX XML Cite \textit{N. Busi} and \textit{R. Gorrieri}, J. Log. Algebr. Program. 78, No. 3, 138--162 (2009; Zbl 1169.68031) Full Text: DOI OpenURL
Hirst, Tirza A Rice-style theorem for parallel automata. (English) Zbl 1169.68025 Inf. Comput. 207, No. 1, 1-13 (2009). MSC: 68Q45 68Q17 PDF BibTeX XML Cite \textit{T. Hirst}, Inf. Comput. 207, No. 1, 1--13 (2009; Zbl 1169.68025) Full Text: DOI OpenURL
Di Giusto, Cinzia; Gabbrielli, Maurizio; Meo, Maria Chiara Expressiveness of multiple heads in CHR. (English) Zbl 1206.68078 Nielsen, Mogens (ed.) et al., SOFSEM 2009: Theory and practice of computer science. 35th conference on current trends in theory and practice of computer science, Špindlerův Mlýn, Czech Republic, January 24–30, 2009. Proceedings. Berlin: Springer (ISBN 978-3-540-95890-1/pbk). Lecture Notes in Computer Science 5404, 205-216 (2009). MSC: 68N15 PDF BibTeX XML Cite \textit{C. Di Giusto} et al., Lect. Notes Comput. Sci. 5404, 205--216 (2009; Zbl 1206.68078) Full Text: DOI OpenURL
Corro Ramos, Isaac; Di Bucchianico, Alessandro; Hakobyan, Lusine; van Hee, Kees Model driven testing based on test history. (English) Zbl 1171.68567 Jensen, Kurt (ed.) et al., Transactions on Petri Nets and Other Models of Concurrency I. Berlin: Springer (ISBN 978-3-540-89286-1/pbk). Lecture Notes in Computer Science 5100. Journal Subline, 134-151 (2008). MSC: 68Q85 68N30 PDF BibTeX XML Cite \textit{I. Corro Ramos} et al., Lect. Notes Comput. Sci. 5100, 134--151 (2008; Zbl 1171.68567) Full Text: DOI OpenURL
Diekert, Volker; Lohrey, Markus; Miller, Alexander Partially commutative inverse monoids. (English) Zbl 1156.20049 Semigroup Forum 77, No. 2, 196-226 (2008). Reviewer: Tero J. Harju (Turku) MSC: 20M05 20M18 20M35 PDF BibTeX XML Cite \textit{V. Diekert} et al., Semigroup Forum 77, No. 2, 196--226 (2008; Zbl 1156.20049) Full Text: DOI OpenURL
Verlan, Sergey; Bernardini, Francesco; Gheorghe, Marian; Margenstern, Maurice Generalized communicating P systems. (English) Zbl 1151.68022 Theor. Comput. Sci. 404, No. 1-2, 170-184 (2008). MSC: 68Q10 68Q45 PDF BibTeX XML Cite \textit{S. Verlan} et al., Theor. Comput. Sci. 404, No. 1--2, 170--184 (2008; Zbl 1151.68022) Full Text: DOI OpenURL
Czaja, Ludwik Calculi of net structures and sets are similar. (English) Zbl 1144.68042 Theor. Inform. Appl. 42, No. 2, 271-284 (2008). MSC: 68Q85 PDF BibTeX XML Cite \textit{L. Czaja}, Theor. Inform. Appl. 42, No. 2, 271--284 (2008; Zbl 1144.68042) Full Text: DOI Numdam EuDML OpenURL
König, Barbara; Kozioura, Vitali Incremental construction of coverability graphs. (English) Zbl 1184.68345 Inf. Process. Lett. 103, No. 5, 203-209 (2007). MSC: 68Q85 68R10 PDF BibTeX XML Cite \textit{B. König} and \textit{V. Kozioura}, Inf. Process. Lett. 103, No. 5, 203--209 (2007; Zbl 1184.68345) Full Text: DOI OpenURL
Bergstra, J. A.; Middelburg, C. A. Thread algebra for strategic interleaving. (English) Zbl 1131.68067 Formal Asp. Comput. 19, No. 4, 445-474 (2007). MSC: 68Q85 68N15 PDF BibTeX XML Cite \textit{J. A. Bergstra} and \textit{C. A. Middelburg}, Formal Asp. Comput. 19, No. 4, 445--474 (2007; Zbl 1131.68067) Full Text: DOI OpenURL
Sackmann, Andrea; Formanowicz, Dorota; Formanowicz, Piotr; Koch, Ina; Blazewicz, Jacek An analysis of the Petri net based model of the human body iron homeostasis process. (English) Zbl 1124.92007 Comput. Biol. Chem. 31, No. 1, 1-10 (2007). MSC: 92C30 68U99 05C90 PDF BibTeX XML Cite \textit{A. Sackmann} et al., Comput. Biol. Chem. 31, No. 1, 1--10 (2007; Zbl 1124.92007) Full Text: DOI OpenURL
Ţiplea, Ferucio Laurenţiu; Ţiplea, Aurora Petri net reactive modules. (English) Zbl 1097.68079 Theor. Comput. Sci. 359, No. 1-3, 77-100 (2006). MSC: 68Q85 PDF BibTeX XML Cite \textit{F. L. Ţiplea} and \textit{A. Ţiplea}, Theor. Comput. Sci. 359, No. 1--3, 77--100 (2006; Zbl 1097.68079) Full Text: DOI OpenURL
Ţiplea, Ferucio Laurenţiu; Marinescu, Dan Cristian Structural soundness of workflow nets is decidable. (English) Zbl 1184.68349 Inf. Process. Lett. 96, No. 2, 54-58 (2005). MSC: 68Q85 68W05 PDF BibTeX XML Cite \textit{F. L. Ţiplea} and \textit{D. C. Marinescu}, Inf. Process. Lett. 96, No. 2, 54--58 (2005; Zbl 1184.68349) Full Text: DOI OpenURL
Cheung, K. S.; Chow, K. O. Cycle inclusion property of augmented marked graphs. (English) Zbl 1182.68137 Inf. Process. Lett. 94, No. 6, 271-276 (2005). MSC: 68Q85 68R10 PDF BibTeX XML Cite \textit{K. S. Cheung} and \textit{K. O. Chow}, Inf. Process. Lett. 94, No. 6, 271--276 (2005; Zbl 1182.68137) Full Text: DOI OpenURL
Varpaaniemi, Kimmo On stubborn sets in the verification of linear time temporal properties. (English) Zbl 1075.68060 Form. Methods Syst. Des. 26, No. 1, 45-67 (2005). MSC: 68Q85 68Q60 03B44 PDF BibTeX XML Cite \textit{K. Varpaaniemi}, Form. Methods Syst. Des. 26, No. 1, 45--67 (2005; Zbl 1075.68060) Full Text: DOI OpenURL
Cheung, K. S. New characterization for live and reversible augmented marked graphs. (English) Zbl 1173.68584 Inf. Process. Lett. 92, No. 5, 239-243 (2004). MSC: 68Q85 PDF BibTeX XML Cite \textit{K. S. Cheung}, Inf. Process. Lett. 92, No. 5, 239--243 (2004; Zbl 1173.68584) Full Text: DOI OpenURL
Curti, M.; Degano, P.; Priami, C.; Baldari, C. T. Modelling biochemical pathways through enhanced \(\pi\)-calculus. (English) Zbl 1071.68074 Theor. Comput. Sci. 325, No. 1, 111-140 (2004). MSC: 68Q85 92C40 PDF BibTeX XML Cite \textit{M. Curti} et al., Theor. Comput. Sci. 325, No. 1, 111--140 (2004; Zbl 1071.68074) Full Text: DOI OpenURL
Baldan, P.; Busi, N.; Corradini, A.; Pinna, G. M. Domain and event structure semantics for Petri nets with read and inhibitor arcs. (English) Zbl 1078.68103 Theor. Comput. Sci. 323, No. 1-3, 129-189 (2004). MSC: 68Q85 PDF BibTeX XML Cite \textit{P. Baldan} et al., Theor. Comput. Sci. 323, No. 1--3, 129--189 (2004; Zbl 1078.68103) Full Text: DOI OpenURL
Winkowski, Józef An algebraic characterization of independence of Petri net processes. (English) Zbl 1178.68369 Inf. Process. Lett. 88, No. 1-2, 73-81 (2003). MSC: 68Q85 68M14 PDF BibTeX XML Cite \textit{J. Winkowski}, Inf. Process. Lett. 88, No. 1--2, 73--81 (2003; Zbl 1178.68369) Full Text: DOI OpenURL
Keller, Walter Clustering for Petri nets. (English) Zbl 1068.68094 Theor. Comput. Sci. 308, No. 1-3, 145-197 (2003). MSC: 68Q85 PDF BibTeX XML Cite \textit{W. Keller}, Theor. Comput. Sci. 308, No. 1--3, 145--197 (2003; Zbl 1068.68094) Full Text: DOI OpenURL
Czaja, Ludwik On the analysis of Petri nets and their synthesis from process languages. (English) Zbl 1090.68072 Theor. Inform. Appl. 37, No. 1, 17-38 (2003). MSC: 68Q85 PDF BibTeX XML Cite \textit{L. Czaja}, Theor. Inform. Appl. 37, No. 1, 17--38 (2003; Zbl 1090.68072) Full Text: DOI Numdam EuDML Link OpenURL
Kučera, Antonín The complexity of bisimilarity-checking for one-counter processes. (English) Zbl 1044.68099 Theor. Comput. Sci. 304, No. 1-3, 157-183 (2003). MSC: 68Q45 68Q85 PDF BibTeX XML Cite \textit{A. Kučera}, Theor. Comput. Sci. 304, No. 1--3, 157--183 (2003; Zbl 1044.68099) Full Text: DOI OpenURL
Devillers, Raymond; Klaudel, Hanna; Riemann, Robert-C. General parameterised refinement and recursion for the M-net calculus. (English) Zbl 1028.68092 Theor. Comput. Sci. 300, No. 1-3, 259-300 (2003). MSC: 68Q85 PDF BibTeX XML Cite \textit{R. Devillers} et al., Theor. Comput. Sci. 300, No. 1--3, 259--300 (2003; Zbl 1028.68092) Full Text: DOI OpenURL
Baldan, Paolo Concurrency for graph grammars in a Petri net shell. (English) Zbl 1263.68065 Bauderon, Michel (ed.) et al., GETGRATS closing workshop on graph transformation systems, Bordeaux, France, June 22–23, 2001. Proceedings. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 51, 65-82 (2002). MSC: 68Q42 68Q85 PDF BibTeX XML Cite \textit{P. Baldan}, Electron. Notes Theor. Comput. Sci. 51, 65--82 (2002; Zbl 1263.68065) Full Text: DOI OpenURL
Lin, Fuhua; Ye, Lan; Duffy, Vincent G.; Su, Chuan-Jun Developing virtual environments for industrial training. (English) Zbl 1021.68713 Inf. Sci. 140, No. 1-2, 153-170 (2002). MSC: 68U99 97U80 68U35 PDF BibTeX XML Cite \textit{F. Lin} et al., Inf. Sci. 140, No. 1--2, 153--170 (2002; Zbl 1021.68713) Full Text: DOI OpenURL