Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Maciej Koutny
@article{DBLP:journals/corr/abs-2401-07308, author = {Mohammed Alahmadi and Salma Alharbi and Talal Alharbi and Nadiyah Almutairi and Tuwailaa Alshammari and Anirban Bhattacharyya and Maciej Koutny and Bowen Li and Brian Randell}, title = {Structured Acyclic Nets}, journal = {CoRR}, volume = {abs/2401.07308}, year = {2024}, url = {https://doi.org/10.48550/arXiv.2401.07308}, doi = {10.48550/ARXIV.2401.07308}, eprinttype = {arXiv}, eprint = {2401.07308}, timestamp = {Thu, 01 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2401-07308.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/topnoc/BhattacharyyaK23, author = {Anirban Bhattacharyya and Maciej Koutny}, title = {Confusion-Tolerant Computation of Probability in Acyclic Nets}, journal = {Trans. Petri Nets Other Model. Concurr.}, volume = {17}, pages = {212--245}, year = {2023}, url = {https://doi.org/10.1007/978-3-662-68191-6\_9}, doi = {10.1007/978-3-662-68191-6\_9}, timestamp = {Thu, 09 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/topnoc/BhattacharyyaK23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apn/JanickiKM23, author = {Ryszard Janicki and Maciej Koutny and Lukasz Mikulski}, editor = {Lu{\'{\i}}s Gomes and Robert Lorenz}, title = {Interval Traces with Mutex Relation}, booktitle = {Application and Theory of Petri Nets and Concurrency - 44th International Conference, {PETRI} {NETS} 2023, Lisbon, Portugal, June 25-30, 2023, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13929}, pages = {145--166}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-33620-1\_8}, doi = {10.1007/978-3-031-33620-1\_8}, timestamp = {Fri, 02 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/apn/JanickiKM23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apn/Pietkiewicz-Koutny23, author = {Marta Pietkiewicz{-}Koutny and Maciej Koutny}, editor = {Lu{\'{\i}}s Gomes and Paulo Leit{\~{a}}o and Robert Lorenz and Jan Martijn E. M. van der Werf and Sebastiaan J. van Zelst}, title = {Synthesising Elementary Net Systems with Interval Order Semantics}, booktitle = {Joint Proceedings of the Workshop on Algorithms {\&} Theories for the Analysis of Event Data and the International Workshop on Petri Nets for Twin Transition co-located with the 44th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2023), Caparica, Portugal, June 25-30, 2023}, series = {{CEUR} Workshop Proceedings}, volume = {3424}, publisher = {CEUR-WS.org}, year = {2023}, url = {https://ceur-ws.org/Vol-3424/paper2.pdf}, timestamp = {Wed, 05 Jul 2023 16:52:15 +0200}, biburl = {https://dblp.org/rec/conf/apn/Pietkiewicz-Koutny23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:journals/topnoc/2023-17, editor = {Maciej Koutny and Robin Bergenthum and Gianfranco Ciardo}, title = {Transactions on Petri Nets and Other Models of Concurrency {XVII}}, series = {Lecture Notes in Computer Science}, volume = {14150}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-662-68191-6}, doi = {10.1007/978-3-662-68191-6}, isbn = {978-3-662-68190-9}, timestamp = {Thu, 09 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/topnoc/2023-17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@book{DBLP:series/sci/2022-1020, author = {Ryszard Janicki and Jetty Kleijn and Maciej Koutny and Lukasz Mikulski}, title = {Paradigms of Concurrency - Observations, Behaviours, and Systems - a Petri Net View}, series = {Studies in Computational Intelligence}, volume = {1020}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-662-64821-6}, doi = {10.1007/978-3-662-64821-6}, isbn = {978-3-662-64819-3}, timestamp = {Tue, 28 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/sci/2022-1020.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/AhmedKP22, author = {Aishah Ahmed and Maciej Koutny and Marta Pietkiewicz{-}Koutny}, title = {Synthesising elementary net systems with localities}, journal = {Theor. Comput. Sci.}, volume = {908}, pages = {123--140}, year = {2022}, url = {https://doi.org/10.1016/j.tcs.2022.01.042}, doi = {10.1016/J.TCS.2022.01.042}, timestamp = {Fri, 13 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcs/AhmedKP22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apn/KhomenkoKY22, author = {Victor Khomenko and Maciej Koutny and Alex Yakovlev}, editor = {Luca Bernardinello and Laure Petrucci}, title = {Avoiding Exponential Explosion in Petri Net Models of Control Flows}, booktitle = {Application and Theory of Petri Nets and Concurrency - 43rd International Conference, {PETRI} {NETS} 2022, Bergen, Norway, June 19-24, 2022, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {13288}, pages = {261--277}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-031-06653-5\_14}, doi = {10.1007/978-3-031-06653-5\_14}, timestamp = {Tue, 28 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/apn/KhomenkoKY22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/KhomenkoKY22, author = {Victor Khomenko and Maciej Koutny and Alex Yakovlev}, editor = {Bartek Klin and Slawomir Lasota and Anca Muscholl}, title = {Slimming down Petri Boxes: Compact Petri Net Models of Control Flows}, booktitle = {33rd International Conference on Concurrency Theory, {CONCUR} 2022, September 12-16, 2022, Warsaw, Poland}, series = {LIPIcs}, volume = {243}, pages = {8:1--8:16}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2022}, url = {https://doi.org/10.4230/LIPIcs.CONCUR.2022.8}, doi = {10.4230/LIPICS.CONCUR.2022.8}, timestamp = {Mon, 26 Sep 2022 16:25:34 +0200}, biburl = {https://dblp.org/rec/conf/concur/KhomenkoKY22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:journals/topnoc/2022-16, editor = {Maciej Koutny and Fabrice Kordon and Daniel Moldt}, title = {Transactions on Petri Nets and Other Models of Concurrency {XVI}}, series = {Lecture Notes in Computer Science}, volume = {13220}, publisher = {Springer Berlin Heidelberg}, year = {2022}, url = {https://doi.org/10.1007/978-3-662-65303-6}, doi = {10.1007/978-3-662-65303-6}, isbn = {978-3-662-65303-6}, timestamp = {Wed, 08 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/topnoc/2022-16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/csur/QianSWJLGPJYZRW20, author = {Bin Qian and Jie Su and Zhenyu Wen and Devki Nandan Jha and Yinhao Li and Yu Guan and Deepak Puthal and Philip James and Renyu Yang and Albert Y. Zomaya and Omer F. Rana and Lizhe Wang and Maciej Koutny and Rajiv Ranjan}, title = {Orchestrating the Development Lifecycle of Machine Learning-based IoT Applications: {A} Taxonomy and Survey}, journal = {{ACM} Comput. Surv.}, volume = {53}, number = {4}, pages = {82:1--82:47}, year = {2021}, url = {https://doi.org/10.1145/3398020}, doi = {10.1145/3398020}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/csur/QianSWJLGPJYZRW20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/Frutos-EscrigKM21, author = {David de Frutos{-}Escrig and Maciej Koutny and Lukasz Mikulski}, title = {Investigating Reversibility of Steps in Petri Nets}, journal = {Fundam. Informaticae}, volume = {183}, number = {1-2}, pages = {67--96}, year = {2021}, url = {https://doi.org/10.3233/FI-2021-2082}, doi = {10.3233/FI-2021-2082}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fuin/Frutos-EscrigKM21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcc/ZengK21, author = {Wen Zeng and Maciej Koutny}, title = {Quantitative Analysis of Opacity in Cloud Computing Systems}, journal = {{IEEE} Trans. Cloud Comput.}, volume = {9}, number = {3}, pages = {1210--1219}, year = {2021}, url = {https://doi.org/10.1109/TCC.2019.2894768}, doi = {10.1109/TCC.2019.2894768}, timestamp = {Thu, 16 Sep 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcc/ZengK21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/JanickiKKM21, author = {Ryszard Janicki and Jetty Kleijn and Maciej Koutny and Lukasz Mikulski}, title = {Relational structures for concurrent behaviours}, journal = {Theor. Comput. Sci.}, volume = {862}, pages = {174--192}, year = {2021}, url = {https://doi.org/10.1016/j.tcs.2020.10.019}, doi = {10.1016/J.TCS.2020.10.019}, timestamp = {Tue, 01 Jun 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcs/JanickiKKM21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/KoutnyPY21, author = {Maciej Koutny and Marta Pietkiewicz{-}Koutny and Alex Yakovlev}, title = {Asynchrony and persistence in reaction systems}, journal = {Theor. Comput. Sci.}, volume = {881}, pages = {97--110}, year = {2021}, url = {https://doi.org/10.1016/j.tcs.2020.11.040}, doi = {10.1016/J.TCS.2020.11.040}, timestamp = {Mon, 09 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcs/KoutnyPY21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apn/AlmutairiK21, author = {Nadiyah Almutairi and Maciej Koutny}, editor = {Michael K{\"{o}}hler{-}Bussmeier and Ekkart Kindler and Heiko R{\"{o}}lke}, title = {Verification of Communication Structured Acyclic Nets Using {SAT}}, booktitle = {Proceedings of the International Workshop on Petri Nets and Software Engineering 2021 co-located with the 42nd International Conference on Application and Theory of Petri Nets and Concurrency {(PETRI} {NETS} 2021), Paris, France, June 25th, 2021 (due to {COVID-19:} virtual conference)}, series = {{CEUR} Workshop Proceedings}, volume = {2907}, pages = {175--194}, publisher = {CEUR-WS.org}, year = {2021}, url = {https://ceur-ws.org/Vol-2907/paper10.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:38 +0100}, biburl = {https://dblp.org/rec/conf/apn/AlmutairiK21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:journals/topnoc/2021-15, editor = {Maciej Koutny and Fabrice Kordon and Lucia Pomello}, title = {Transactions on Petri Nets and Other Models of Concurrency {XV}}, series = {Lecture Notes in Computer Science}, volume = {12530}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-662-63079-2}, doi = {10.1007/978-3-662-63079-2}, isbn = {978-3-662-63078-5}, timestamp = {Tue, 02 Mar 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/topnoc/2021-15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2110-10535, author = {David de Frutos{-}Escrig and Maciej Koutny and Lukasz Mikulski}, title = {Investigating Reversibility of Steps in Petri Nets}, journal = {CoRR}, volume = {abs/2110.10535}, year = {2021}, url = {https://arxiv.org/abs/2110.10535}, eprinttype = {arXiv}, eprint = {2110.10535}, timestamp = {Thu, 28 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2110-10535.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/KleijnKM20, author = {Jetty Kleijn and Maciej Koutny and Lukasz Mikulski}, title = {Reaction Systems and Enabling Equivalence}, journal = {Fundam. Informaticae}, volume = {171}, number = {1-4}, pages = {261--277}, year = {2020}, url = {https://doi.org/10.3233/FI-2020-1882}, doi = {10.3233/FI-2020-1882}, timestamp = {Tue, 29 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fuin/KleijnKM20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/BeekKR20, author = {Maurice H. ter Beek and Maciej Koutny and Grzegorz Rozenberg}, title = {Preface}, journal = {Fundam. Informaticae}, volume = {175}, number = {1-4}, year = {2020}, url = {https://doi.org/10.3233/FI-2020-1945}, doi = {10.3233/FI-2020-1945}, timestamp = {Wed, 07 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/BeekKR20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/KleijnKR20, author = {Jetty Kleijn and Maciej Koutny and Grzegorz Rozenberg}, title = {Plug-in context providers for reaction systems}, journal = {Theor. Comput. Sci.}, volume = {834}, pages = {26--42}, year = {2020}, url = {https://doi.org/10.1016/j.tcs.2020.01.033}, doi = {10.1016/J.TCS.2020.01.033}, timestamp = {Mon, 17 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcs/KleijnKR20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/KlaudelKDM19, author = {Hanna Klaudel and Maciej Koutny and Zhenhua Duan and Ben C. Moszkowski}, title = {From Box Algebra to Interval Temporal Logic}, journal = {Fundam. Informaticae}, volume = {167}, number = {4}, pages = {323--354}, year = {2019}, url = {https://doi.org/10.3233/FI-2019-1820}, doi = {10.3233/FI-2019-1820}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/KlaudelKDM19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/JanickiK19, author = {Ryszard Janicki and Maciej Koutny}, title = {Operational Semantics, Interval Orders and Sequences of Antichains}, journal = {Fundam. Informaticae}, volume = {169}, number = {1-2}, pages = {31--55}, year = {2019}, url = {https://doi.org/10.3233/FI-2019-1838}, doi = {10.3233/FI-2019-1838}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/JanickiK19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/istr/ZengK19, author = {Wen Zeng and Maciej Koutny}, title = {Modelling and analysis of corporate efficiency and productivity loss associated with enterprise information security technologies}, journal = {J. Inf. Secur. Appl.}, volume = {49}, year = {2019}, url = {https://doi.org/10.1016/j.jisa.2019.102385}, doi = {10.1016/J.JISA.2019.102385}, timestamp = {Wed, 04 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/istr/ZengK19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcss/JanickiKKM19, author = {Ryszard Janicki and Jetty Kleijn and Maciej Koutny and Lukasz Mikulski}, title = {Classifying invariant structures of step traces}, journal = {J. Comput. Syst. Sci.}, volume = {104}, pages = {297--322}, year = {2019}, url = {https://doi.org/10.1016/j.jcss.2017.05.002}, doi = {10.1016/J.JCSS.2017.05.002}, timestamp = {Fri, 25 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jcss/JanickiKKM19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apn/AlharbiK19, author = {Talal Alharbi and Maciej Koutny}, editor = {Daniel Moldt and Ekkart Kindler and Manuel Wimmer}, title = {Domain Name System {(DNS)} Tunneling Detection using Structured Occurrence Nets (SONs)}, booktitle = {Proceedings of the International Workshop on Petri Nets and Software Engineering {(PNSE} 2019), co-located with the 40th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2019 and the 19th International Conference on Application of Concurrency to System Design {ACSD} 2019 and the 1st {IEEE} International Conference on Process Mining Process Mining 2019, Aachen, Germany, June 23-28, 2019}, series = {{CEUR} Workshop Proceedings}, volume = {2424}, pages = {93--108}, publisher = {CEUR-WS.org}, year = {2019}, url = {https://ceur-ws.org/Vol-2424/paper7.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:38 +0100}, biburl = {https://dblp.org/rec/conf/apn/AlharbiK19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apn/Frutos-EscrigKM19, author = {David de Frutos{-}Escrig and Maciej Koutny and Lukasz Mikulski}, editor = {Susanna Donatelli and Stefan Haar}, title = {Reversing Steps in Petri Nets}, booktitle = {Application and Theory of Petri Nets and Concurrency - 40th International Conference, {PETRI} {NETS} 2019, Aachen, Germany, June 23-28, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11522}, pages = {171--191}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-21571-2\_11}, doi = {10.1007/978-3-030-21571-2\_11}, timestamp = {Tue, 29 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/apn/Frutos-EscrigKM19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wise/JhaWLNKR19, author = {Devki Nandan Jha and Zhenyu Wen and Yinhao Li and Michael Nee and Maciej Koutny and Rajiv Ranjan}, editor = {Reynold Cheng and Nikos Mamoulis and Yizhou Sun and Xin Huang}, title = {A Cost-Efficient Multi-cloud Orchestrator for Benchmarking Containerized Web-Applications}, booktitle = {Web Information Systems Engineering - {WISE} 2019 - 20th International Conference, Hong Kong, China, November 26-30, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11881}, pages = {407--423}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-34223-4\_26}, doi = {10.1007/978-3-030-34223-4\_26}, timestamp = {Tue, 03 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/wise/JhaWLNKR19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/sp/19/Koutny19, author = {Maciej Koutny}, editor = {Wolfgang Reisig and Grzegorz Rozenberg}, title = {Petri Nets and Petri's Nets: {A} Personal Perspective}, booktitle = {Carl Adam Petri: Ideas, Personality, Impact}, pages = {93--95}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-319-96154-5\_12}, doi = {10.1007/978-3-319-96154-5\_12}, timestamp = {Tue, 04 Jun 2019 13:10:01 +0200}, biburl = {https://dblp.org/rec/books/sp/19/Koutny19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:journals/topnoc/2019-14, editor = {Maciej Koutny and Lucia Pomello and Lars Michael Kristensen}, title = {Transactions on Petri Nets and Other Models of Concurrency {XIV}}, series = {Lecture Notes in Computer Science}, volume = {11790}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-662-60651-3}, doi = {10.1007/978-3-662-60651-3}, isbn = {978-3-662-60650-6}, timestamp = {Tue, 17 Dec 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/topnoc/2019-14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/BarylskaEKMP18, author = {Kamila Barylska and Evgeny Erofeev and Maciej Koutny and Lukasz Mikulski and Marcin Piatkowski}, title = {Reversing Transitions in Bounded Petri Nets}, journal = {Fundam. Informaticae}, volume = {157}, number = {4}, pages = {341--357}, year = {2018}, url = {https://doi.org/10.3233/FI-2018-1631}, doi = {10.3233/FI-2018-1631}, timestamp = {Fri, 25 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fuin/BarylskaEKMP18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/BarylskaKMP18, author = {Kamila Barylska and Maciej Koutny and Lukasz Mikulski and Marcin Piatkowski}, title = {Reversible computation vs. reversibility in Petri nets}, journal = {Sci. Comput. Program.}, volume = {151}, pages = {48--60}, year = {2018}, url = {https://doi.org/10.1016/j.scico.2017.10.008}, doi = {10.1016/J.SCICO.2017.10.008}, timestamp = {Fri, 25 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/BarylskaKMP18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/acsd/LiRBAK18, author = {Bowen Li and Brian Randell and Anirban Bhattacharyya and Talal Alharbi and Maciej Koutny}, title = {SONCraft: {A} Tool for Construction, Simulation, and Analysis of Structured Occurrence Nets}, booktitle = {18th International Conference on Application of Concurrency to System Design, {ACSD} 2018, Bratislava, Slovakia, June 25-29, 2018}, pages = {70--74}, publisher = {{IEEE} Computer Society}, year = {2018}, url = {https://doi.ieeecomputersociety.org/10.1109/ACSD.2018.00010}, doi = {10.1109/ACSD.2018.00010}, timestamp = {Wed, 16 Oct 2019 14:14:54 +0200}, biburl = {https://dblp.org/rec/conf/acsd/LiRBAK18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apn/AlharbiK18, author = {Talal Alharbi and Maciej Koutny}, editor = {Daniel Moldt and Ekkart Kindler and Heiko R{\"{o}}lke}, title = {Visualising Data Sets in Structured Occurrence Nets}, booktitle = {Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'18), co-located with the39th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2018 and the 18th International Conference on Application of Concurrency to System Design {ACSD} 2018, Bratislava, Slovakia, June 24-29, 2018}, series = {{CEUR} Workshop Proceedings}, volume = {2138}, pages = {121--132}, publisher = {CEUR-WS.org}, year = {2018}, url = {https://ceur-ws.org/Vol-2138/paper6.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:38 +0100}, biburl = {https://dblp.org/rec/conf/apn/AlharbiK18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apn/Frutos-EscrigKM18, author = {David de Frutos{-}Escrig and Maciej Koutny and Lukasz Mikulski}, editor = {Victor Khomenko and Olivier H. Roux}, title = {An Efficient Characterization of Petri Net Solvable Binary Words}, booktitle = {Application and Theory of Petri Nets and Concurrency - 39th International Conference, {PETRI} {NETS} 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10877}, pages = {207--226}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-91268-4\_11}, doi = {10.1007/978-3-319-91268-4\_11}, timestamp = {Fri, 25 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/apn/Frutos-EscrigKM18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/KleijnKMR18, author = {Jetty Kleijn and Maciej Koutny and Lukasz Mikulski and Grzegorz Rozenberg}, editor = {Hans{-}Joachim B{\"{o}}ckenhauer and Dennis Komm and Walter Unger}, title = {Reaction Systems, Transition Systems, and Equivalences}, booktitle = {Adventures Between Lower Bounds and Higher Altitudes - Essays Dedicated to Juraj Hromkovi{\v{c}} on the Occasion of His 60th Birthday}, series = {Lecture Notes in Computer Science}, volume = {11011}, pages = {63--84}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-98355-4\_5}, doi = {10.1007/978-3-319-98355-4\_5}, timestamp = {Fri, 25 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/birthday/KleijnKMR18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/uc/MeskiKP18, author = {Artur Meski and Maciej Koutny and Wojciech Penczek}, editor = {Susan Stepney and Sergey Verlan}, title = {Reaction Mining for Reaction Systems}, booktitle = {Unconventional Computation and Natural Computation - 17th International Conference, {UCNC} 2018, Fontainebleau, France, June 25-29, 2018, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10867}, pages = {131--144}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-92435-9\_10}, doi = {10.1007/978-3-319-92435-9\_10}, timestamp = {Sun, 02 Oct 2022 16:16:37 +0200}, biburl = {https://dblp.org/rec/conf/uc/MeskiKP18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:journals/topnoc/2018-13, editor = {Maciej Koutny and Lars Michael Kristensen and Wojciech Penczek}, title = {Transactions on Petri Nets and Other Models of Concurrency {XIII}}, series = {Lecture Notes in Computer Science}, volume = {11090}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-662-58381-4}, doi = {10.1007/978-3-662-58381-4}, isbn = {978-3-662-58380-7}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/topnoc/2018-13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cuza/KleijnKP17, author = {Jetty Kleijn and Maciej Koutny and Marta Pietkiewicz{-}Koutny}, title = {Adding A/Sync Places to the Synthesis Procedure for Whole-Place Operations Nets with Localities}, journal = {Sci. Ann. Comput. Sci.}, volume = {27}, number = {2}, pages = {177--212}, year = {2017}, url = {http://www.info.uaic.ro/bin/Annals/Article?v=XXVII2\&\#38;a=2}, timestamp = {Tue, 01 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cuza/KleijnKP17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/AmanKKL17, author = {Bogdan Aman and Jetty Kleijn and Maciej Koutny and Dorel Lucanu}, title = {Methods for Distributed and Concurrent Systems: Special Issue on the occasion of the 60th Birthday of Professor Gabriel Ciobanu}, journal = {Fundam. Informaticae}, volume = {153}, number = {1-2}, pages = {v--vi}, year = {2017}, url = {https://doi.org/10.3233/FI-2017-1528}, doi = {10.3233/FI-2017-1528}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/AmanKKL17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/JanickiKKM17, author = {Ryszard Janicki and Jetty Kleijn and Maciej Koutny and Lukasz Mikulski}, title = {Alphabets of Acyclic Invariant Structures}, journal = {Fundam. Informaticae}, volume = {154}, number = {1-4}, pages = {207--224}, year = {2017}, url = {https://doi.org/10.3233/FI-2017-1562}, doi = {10.3233/FI-2017-1562}, timestamp = {Fri, 25 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fuin/JanickiKKM17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/MeskiKP17, author = {Artur Meski and Maciej Koutny and Wojciech Penczek}, title = {Verification of Linear-Time Temporal Properties for Reaction Systems with Discrete Concentrations}, journal = {Fundam. Informaticae}, volume = {154}, number = {1-4}, pages = {289--306}, year = {2017}, url = {https://doi.org/10.3233/FI-2017-1567}, doi = {10.3233/FI-2017-1567}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/MeskiKP17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/JanickiKKM17a, author = {Ryszard Janicki and Jetty Kleijn and Maciej Koutny and Lukasz Mikulski}, title = {Invariant Structures and Dependence Relations}, journal = {Fundam. Informaticae}, volume = {155}, number = {1-2}, pages = {1--29}, year = {2017}, url = {https://doi.org/10.3233/FI-2017-1574}, doi = {10.3233/FI-2017-1574}, timestamp = {Fri, 25 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fuin/JanickiKKM17a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/isci/KoutnyMP17, author = {Maciej Koutny and Lukasz Mikulski and Marta Pietkiewicz{-}Koutny}, title = {An extension of the taxonomy of persistent and nonviolent steps}, journal = {Inf. Sci.}, volume = {394}, pages = {299--314}, year = {2017}, url = {https://doi.org/10.1016/j.ins.2017.01.037}, doi = {10.1016/J.INS.2017.01.037}, timestamp = {Fri, 25 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/isci/KoutnyMP17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/KleijnKPR17, author = {Jetty Kleijn and Maciej Koutny and Marta Pietkiewicz{-}Koutny and Grzegorz Rozenberg}, title = {Applying regions}, journal = {Theor. Comput. Sci.}, volume = {658}, pages = {205--215}, year = {2017}, url = {https://doi.org/10.1016/j.tcs.2016.01.040}, doi = {10.1016/J.TCS.2016.01.040}, timestamp = {Sun, 28 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcs/KleijnKPR17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/EhrenfeuchtKKR17, author = {Andrzej Ehrenfeucht and Jetty Kleijn and Maciej Koutny and Grzegorz Rozenberg}, title = {Evolving reaction systems}, journal = {Theor. Comput. Sci.}, volume = {682}, pages = {79--99}, year = {2017}, url = {https://doi.org/10.1016/j.tcs.2016.12.031}, doi = {10.1016/J.TCS.2016.12.031}, timestamp = {Wed, 14 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcs/EhrenfeuchtKKR17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/KleijnKP17, author = {Jetty Kleijn and Maciej Koutny and Marta Pietkiewicz{-}Koutny}, title = {Signal set tissue systems and overlapping localities}, journal = {Theor. Comput. Sci.}, volume = {701}, pages = {132--145}, year = {2017}, url = {https://doi.org/10.1016/j.tcs.2017.02.036}, doi = {10.1016/J.TCS.2017.02.036}, timestamp = {Fri, 15 Dec 2017 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/KleijnKP17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apn/JanickiKKM17, author = {Ryszard Janicki and Jetty Kleijn and Maciej Koutny and Lukasz Mikulski}, editor = {Wil M. P. van der Aalst and Robin Bergenthum and Josep Carmona}, title = {On Synthesising Step Alphabets for Acyclic Invariant Structures}, booktitle = {Proceedings of the International Workshop on Algorithms {\&} Theories for the Analysis of Event Data 2017 Satellite event of the conferences: 38th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2017 and 17th International Conference on Application of Concurrency to System Design {ACSD} 2017, Zaragoza, Spain, June 26-27, 2017}, series = {{CEUR} Workshop Proceedings}, volume = {1847}, pages = {76--88}, publisher = {CEUR-WS.org}, year = {2017}, url = {https://ceur-ws.org/Vol-1847/paper06.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:38 +0100}, biburl = {https://dblp.org/rec/conf/apn/JanickiKKM17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:journals/topnoc/2017-12, editor = {Maciej Koutny and Jetty Kleijn and Wojciech Penczek}, title = {Transactions on Petri Nets and Other Models of Concurrency {XII}}, series = {Lecture Notes in Computer Science}, volume = {10470}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-662-55862-1}, doi = {10.1007/978-3-662-55862-1}, isbn = {978-3-662-55861-4}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/topnoc/2017-12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/acta/JanickiKKM16, author = {Ryszard Janicki and Jetty Kleijn and Maciej Koutny and Lukasz Mikulski}, title = {Step traces}, journal = {Acta Informatica}, volume = {53}, number = {1}, pages = {35--65}, year = {2016}, url = {https://doi.org/10.1007/s00236-015-0244-z}, doi = {10.1007/S00236-015-0244-Z}, timestamp = {Fri, 25 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/acta/JanickiKKM16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/istr/ZengKWG16, author = {Wen Zeng and Maciej Koutny and Paul Watson and Vasileios Germanos}, title = {Formal verification of secure information flow in cloud computing}, journal = {J. Inf. Secur. Appl.}, volume = {27-28}, pages = {103--116}, year = {2016}, url = {https://doi.org/10.1016/j.jisa.2016.03.002}, doi = {10.1016/J.JISA.2016.03.002}, timestamp = {Fri, 27 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/istr/ZengKWG16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/nc/BertensKHHKV16, author = {Laura M. F. Bertens and Jetty Kleijn and Sander C. Hille and Monika Heiner and Maciej Koutny and Fons J. Verbeek}, title = {Modeling biological gradient formation: combining partial differential equations and Petri nets}, journal = {Nat. Comput.}, volume = {15}, number = {4}, pages = {665--675}, year = {2016}, url = {https://doi.org/10.1007/s11047-015-9531-4}, doi = {10.1007/S11047-015-9531-4}, timestamp = {Mon, 26 Oct 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/nc/BertensKHHKV16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/acsd/KlaudelKM16, author = {Hanna Klaudel and Maciej Koutny and Ben C. Moszkowski}, editor = {J{\"{o}}rg Desel and Alex Yakovlev}, title = {From Petri Nets with Shared Variables to {ITL}}, booktitle = {16th International Conference on Application of Concurrency to System Design, {ACSD} 2016, Torun, Poland, June 19-24, 2016}, pages = {11--18}, publisher = {{IEEE} Computer Society}, year = {2016}, url = {https://doi.org/10.1109/ACSD.2016.12}, doi = {10.1109/ACSD.2016.12}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/acsd/KlaudelKM16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csp/BarylskaMPKE16, author = {Kamila Barylska and Lukasz Mikulski and Marcin Piatkowski and Maciej Koutny and Evgeny Erofeev}, editor = {Bernd{-}Holger Schlingloff}, title = {Reversing Transitions in Bounded Petri Nets}, booktitle = {Proceedings of the 25th International Workshop on Concurrency, Specification and Programming, Rostock, Germany, September 28-30, 2016}, series = {{CEUR} Workshop Proceedings}, volume = {1698}, pages = {74--85}, publisher = {CEUR-WS.org}, year = {2016}, url = {https://ceur-ws.org/Vol-1698/CS\&\#38;P2016\_08\_Barylska\&\#38;Mikulski\&\#38;Piatkowski\&\#38;Koutny\&\#38;Erofeev\_Reversing-Transitions-in-Bounded-Petri-Nets.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:14 +0100}, biburl = {https://dblp.org/rec/conf/csp/BarylskaMPKE16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ictac/KleijnKP16, author = {Jetty Kleijn and Maciej Koutny and Marta Pietkiewicz{-}Koutny}, editor = {Augusto Sampaio and Farn Wang}, title = {Synthesis of Petri Nets with Whole-Place Operations and Localities}, booktitle = {Theoretical Aspects of Computing - {ICTAC} 2016 - 13th International Colloquium, Taipei, Taiwan, ROC, October 24-31, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9965}, pages = {103--120}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-46750-4\_7}, doi = {10.1007/978-3-319-46750-4\_7}, timestamp = {Tue, 14 May 2019 10:00:38 +0200}, biburl = {https://dblp.org/rec/conf/ictac/KleijnKP16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rc/BarylskaKMP16, author = {Kamila Barylska and Maciej Koutny and Lukasz Mikulski and Marcin Piatkowski}, editor = {Simon J. Devitt and Ivan Lanese}, title = {Reversible Computation vs. Reversibility in Petri Nets}, booktitle = {Reversible Computation - 8th International Conference, {RC} 2016, Bologna, Italy, July 7-8, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9720}, pages = {105--118}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-40578-0\_7}, doi = {10.1007/978-3-319-40578-0\_7}, timestamp = {Fri, 25 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/rc/BarylskaKMP16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/uc/MeskiKP16, author = {Artur Meski and Maciej Koutny and Wojciech Penczek}, editor = {Martyn Amos and Anne Condon}, title = {Towards Quantitative Verification of Reaction Systems}, booktitle = {Unconventional Computation and Natural Computation - 15th International Conference, {UCNC} 2016, Manchester, UK, July 11-15, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9726}, pages = {142--154}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-41312-9\_12}, doi = {10.1007/978-3-319-41312-9\_12}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/uc/MeskiKP16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:journals/topnoc/2016-11, editor = {Maciej Koutny and J{\"{o}}rg Desel and Jetty Kleijn}, title = {Transactions on Petri Nets and Other Models of Concurrency {XI}}, series = {Lecture Notes in Computer Science}, volume = {9930}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-662-53401-4}, doi = {10.1007/978-3-662-53401-4}, isbn = {978-3-662-53400-7}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/topnoc/2016-11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cj/CiobanuK15, author = {Gabriel Ciobanu and Maciej Koutny}, title = {PerTiMo: {A} Model of Spatial Migration with Safe Access Permissions}, journal = {Comput. J.}, volume = {58}, number = {5}, pages = {1041--1060}, year = {2015}, url = {https://doi.org/10.1093/comjnl/bxu006}, doi = {10.1093/COMJNL/BXU006}, timestamp = {Wed, 14 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/cj/CiobanuK15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/CiobanuKS15, author = {Gabriel Ciobanu and Maciej Koutny and L. Jason Steggles}, title = {Strategy based semantics for mobility with time and access permissions}, journal = {Formal Aspects Comput.}, volume = {27}, number = {3}, pages = {525--549}, year = {2015}, url = {https://doi.org/10.1007/s00165-014-0324-9}, doi = {10.1007/S00165-014-0324-9}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/CiobanuKS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/FernandesKMPSY15, author = {Johnson Fernandes and Maciej Koutny and Lukasz Mikulski and Marta Pietkiewicz{-}Koutny and Danil Sokolov and Alex Yakovlev}, title = {Persistent and Nonviolent Steps and the Design of {GALS} Systems}, journal = {Fundam. Informaticae}, volume = {137}, number = {1}, pages = {143--170}, year = {2015}, url = {https://doi.org/10.3233/FI-2015-1173}, doi = {10.3233/FI-2015-1173}, timestamp = {Fri, 25 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fuin/FernandesKMPSY15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/JanickiKKM15, author = {Ryszard Janicki and Jetty Kleijn and Maciej Koutny and Lukasz Mikulski}, title = {Characterising Concurrent Histories}, journal = {Fundam. Informaticae}, volume = {139}, number = {1}, pages = {21--42}, year = {2015}, url = {https://doi.org/10.3233/FI-2015-1224}, doi = {10.3233/FI-2015-1224}, timestamp = {Fri, 25 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fuin/JanickiKKM15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apn/ChatainHKS15, author = {Thomas Chatain and Stefan Haar and Maciej Koutny and Stefan Schwoon}, editor = {Raymond R. Devillers and Antti Valmari}, title = {Non-atomic Transition Firing in Contextual Nets}, booktitle = {Application and Theory of Petri Nets and Concurrency - 36th International Conference, {PETRI} {NETS} 2015, Brussels, Belgium, June 21-26, 2015, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9115}, pages = {117--136}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-19488-2\_6}, doi = {10.1007/978-3-319-19488-2\_6}, timestamp = {Tue, 14 May 2019 10:00:45 +0200}, biburl = {https://dblp.org/rec/conf/apn/ChatainHKS15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apn/LiK15, author = {Bowen Li and Maciej Koutny}, editor = {Daniel Moldt and Heiko R{\"{o}}lke and Harald St{\"{o}}rrle}, title = {Unfolding CSPT-nets}, booktitle = {Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'15), including the International Workshop on Petri Nets for Adaptive Discrete Event Control Systems {(ADECS} 2015) {A} satellite event of the conferences: 36th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2015 and 15th International Conference on Application of Concurrency to System Design {ACSD} 2015, Brussels, Belgium, June 22-23, 2015}, series = {{CEUR} Workshop Proceedings}, volume = {1372}, pages = {207--226}, publisher = {CEUR-WS.org}, year = {2015}, url = {https://ceur-ws.org/Vol-1372/paper12.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:38 +0100}, biburl = {https://dblp.org/rec/conf/apn/LiK15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lata/JanickiKKM15, author = {Ryszard Janicki and Jetty Kleijn and Maciej Koutny and Lukasz Mikulski}, editor = {Adrian{-}Horia Dediu and Enrico Formenti and Carlos Mart{\'{\i}}n{-}Vide and Bianca Truthe}, title = {Order Structures for Subclasses of Generalised Traces}, booktitle = {Language and Automata Theory and Applications - 9th International Conference, {LATA} 2015, Nice, France, March 2-6, 2015, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8977}, pages = {689--700}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-15579-1\_54}, doi = {10.1007/978-3-319-15579-1\_54}, timestamp = {Fri, 25 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lata/JanickiKKM15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/soca/ZengKW15, author = {Wen Zeng and Maciej Koutny and Paul Watson}, title = {Opacity in Internet of Things with Cloud Computing (Short Paper)}, booktitle = {8th {IEEE} International Conference on Service-Oriented Computing and Applications, {SOCA} 2015, Rome, Italy, October 19-21, 2015}, pages = {201--207}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/SOCA.2015.33}, doi = {10.1109/SOCA.2015.33}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/soca/ZengKW15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:journals/topnoc/2015-10, editor = {Maciej Koutny and J{\"{o}}rg Desel and Serge Haddad}, title = {Transactions on Petri Nets and Other Models of Concurrency {X}}, series = {Lecture Notes in Computer Science}, volume = {9410}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-662-48650-4}, doi = {10.1007/978-3-662-48650-4}, isbn = {978-3-662-48649-8}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/topnoc/2015-10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ipl/MikulskiK14, author = {Lukasz Mikulski and Maciej Koutny}, title = {Folded Hasse diagrams of combined traces}, journal = {Inf. Process. Lett.}, volume = {114}, number = {4}, pages = {208--216}, year = {2014}, url = {https://doi.org/10.1016/j.ipl.2013.11.009}, doi = {10.1016/J.IPL.2013.11.009}, timestamp = {Fri, 25 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ipl/MikulskiK14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/topnoc/KleijnKP14, author = {Jetty Kleijn and Maciej Koutny and Marta Pietkiewicz{-}Koutny}, title = {Tissue Systems and Petri Net Synthesis}, journal = {Trans. Petri Nets Other Model. Concurr.}, volume = {9}, pages = {124--146}, year = {2014}, url = {https://doi.org/10.1007/978-3-662-45730-6\_7}, doi = {10.1007/978-3-662-45730-6\_7}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/topnoc/KleijnKP14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/IEEEcit/ZengKM14, author = {Wen Zeng and Maciej Koutny and Aad P. A. van Moorsel}, title = {Performance Modelling and Evaluation of Enterprise Information Security Technologies}, booktitle = {14th {IEEE} International Conference on Computer and Information Technology, {CIT} 2014, Xi'an, China, September 11-13, 2014}, pages = {504--511}, publisher = {{IEEE} Computer Society}, year = {2014}, url = {https://doi.org/10.1109/CIT.2014.18}, doi = {10.1109/CIT.2014.18}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/IEEEcit/ZengKM14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cloudcom/ZengKW14, author = {Wen Zeng and Maciej Koutny and Paul Watson}, title = {Verifying Secure Information Flow in Federated Clouds}, booktitle = {{IEEE} 6th International Conference on Cloud Computing Technology and Science, CloudCom 2014, Singapore, December 15-18, 2014}, pages = {78--85}, publisher = {{IEEE} Computer Society}, year = {2014}, url = {https://doi.org/10.1109/CloudCom.2014.104}, doi = {10.1109/CLOUDCOM.2014.104}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cloudcom/ZengKW14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lata/KlaudelKD14, author = {Hanna Klaudel and Maciej Koutny and Zhenhua Duan}, editor = {Adrian{-}Horia Dediu and Carlos Mart{\'{\i}}n{-}Vide and Jos{\'{e}} Luis Sierra{-}Rodr{\'{\i}}guez and Bianca Truthe}, title = {Interval Temporal Logic Semantics of Box Algebra}, booktitle = {Language and Automata Theory and Applications - 8th International Conference, {LATA} 2014, Madrid, Spain, March 10-14, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8370}, pages = {441--452}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-04921-2\_36}, doi = {10.1007/978-3-319-04921-2\_36}, timestamp = {Sun, 02 Oct 2022 16:11:11 +0200}, biburl = {https://dblp.org/rec/conf/lata/KlaudelKD14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tase/ZengK14, author = {Wen Zeng and Maciej Koutny}, title = {Data Resources in Dynamic Environments}, booktitle = {2014 Theoretical Aspects of Software Engineering Conference, {TASE} 2014, Changsha, China, September 1-3, 2014}, pages = {185--192}, publisher = {{IEEE} Computer Society}, year = {2014}, url = {https://doi.org/10.1109/TASE.2014.9}, doi = {10.1109/TASE.2014.9}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/tase/ZengK14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:journals/topnoc/2014-9, editor = {Maciej Koutny and Serge Haddad and Alex Yakovlev}, title = {Transactions on Petri Nets and Other Models of Concurrency {IX}}, series = {Lecture Notes in Computer Science}, volume = {8910}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-662-45730-6}, doi = {10.1007/978-3-662-45730-6}, isbn = {978-3-662-45729-0}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/topnoc/2014-9.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/ZengMKW14, author = {Wen Zeng and Chunyan Mu and Maciej Koutny and Paul Watson}, title = {A Flow Sensitive Security Model for Cloud Computing Systems}, journal = {CoRR}, volume = {abs/1404.7760}, year = {2014}, url = {http://arxiv.org/abs/1404.7760}, eprinttype = {arXiv}, eprint = {1404.7760}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/ZengMKW14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/acta/KleijnKPR13, author = {Jetty Kleijn and Maciej Koutny and Marta Pietkiewicz{-}Koutny and Grzegorz Rozenberg}, title = {Step semantics of boolean nets}, journal = {Acta Informatica}, volume = {50}, number = {1}, pages = {15--39}, year = {2013}, url = {https://doi.org/10.1007/s00236-012-0170-2}, doi = {10.1007/S00236-012-0170-2}, timestamp = {Sun, 21 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/acta/KleijnKPR13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/KleijnK13, author = {Jetty Kleijn and Maciej Koutny}, title = {Mutex Causality in Processes and Traces of General Elementary Nets}, journal = {Fundam. Informaticae}, volume = {122}, number = {1-2}, pages = {119--146}, year = {2013}, url = {https://doi.org/10.3233/FI-2013-785}, doi = {10.3233/FI-2013-785}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/KleijnK13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlp/DuanKK13, author = {Zhenhua Duan and Hanna Klaudel and Maciej Koutny}, title = {{ITL} semantics of composite Petri nets}, journal = {J. Log. Algebraic Methods Program.}, volume = {82}, number = {2}, pages = {95--110}, year = {2013}, url = {https://doi.org/10.1016/j.jlap.2012.12.001}, doi = {10.1016/J.JLAP.2012.12.001}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jlp/DuanKK13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/DuanZK13, author = {Zhenhua Duan and Nan Zhang and Maciej Koutny}, title = {A complete proof system for propositional projection temporal logic}, journal = {Theor. Comput. Sci.}, volume = {497}, pages = {84--107}, year = {2013}, url = {https://doi.org/10.1016/j.tcs.2012.01.026}, doi = {10.1016/J.TCS.2012.01.026}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/DuanZK13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/topnoc/KleijnK13, author = {Jetty Kleijn and Maciej Koutny}, title = {Causality in Extensions of Petri Nets}, journal = {Trans. Petri Nets Other Model. Concurr.}, volume = {7}, pages = {225--254}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-38143-0\_6}, doi = {10.1007/978-3-642-38143-0\_6}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/topnoc/KleijnK13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apn/FernandesKPSY13, author = {Johnson Fernandes and Maciej Koutny and Marta Pietkiewicz{-}Koutny and Danil Sokolov and Alex Yakovlev}, editor = {Jos{\'{e}} Manuel Colom and J{\"{o}}rg Desel}, title = {Step Persistence in the Design of {GALS} Systems}, booktitle = {Application and Theory of Petri Nets and Concurrency - 34th International Conference, {PETRI} {NETS} 2013, Milan, Italy, June 24-28, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7927}, pages = {190--209}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-38697-8\_11}, doi = {10.1007/978-3-642-38697-8\_11}, timestamp = {Tue, 14 May 2019 10:00:45 +0200}, biburl = {https://dblp.org/rec/conf/apn/FernandesKPSY13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apn/KoutnyMP13, author = {Maciej Koutny and Lukasz Mikulski and Marta Pietkiewicz{-}Koutny}, editor = {Jos{\'{e}} Manuel Colom and J{\"{o}}rg Desel}, title = {A Taxonomy of Persistent and Nonviolent Steps}, booktitle = {Application and Theory of Petri Nets and Concurrency - 34th International Conference, {PETRI} {NETS} 2013, Milan, Italy, June 24-28, 2013. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7927}, pages = {210--229}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-38697-8\_12}, doi = {10.1007/978-3-642-38697-8\_12}, timestamp = {Fri, 25 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/apn/KoutnyMP13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csp/JanickiKKM13, author = {Ryszard Janicki and Jetty Kleijn and Maciej Koutny and Lukasz Mikulski}, editor = {Marcin S. Szczuka and Ludwik Czaja and Magdalena Kacprzak}, title = {Causal Structures for General Concurrent Behaviours}, booktitle = {Proceedings of the 22nd International Workshop on Concurrency, Specification and Programming, Warsaw, Poland}, series = {{CEUR} Workshop Proceedings}, volume = {1032}, pages = {193--205}, publisher = {CEUR-WS.org}, year = {2013}, url = {https://ceur-ws.org/Vol-1032/paper-17.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:14 +0100}, biburl = {https://dblp.org/rec/conf/csp/JanickiKKM13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/springsim/ZengLK13, author = {Wen Zeng and Kaiyu Liu and Maciej Koutny}, editor = {Eric S. Imsand and Shaoen Wu and Qishi Wu}, title = {Cost-benefit analysis of digital rights management products using stochastic models}, booktitle = {Proceedings of the 46th Annual Simulation Symposium, part of the 2013 Spring Simulation Multiconference, SpringSim '13, San Diego, CA, USA, April 7-10, 2013}, pages = {1}, publisher = {{SCS/ACM}}, year = {2013}, url = {http://dl.acm.org/citation.cfm?id=2499605}, timestamp = {Fri, 20 Sep 2013 08:32:58 +0200}, biburl = {https://dblp.org/rec/conf/springsim/ZengLK13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:journals/topnoc/2013-7, editor = {Kurt Jensen and Wil M. P. van der Aalst and Gianfranco Balbo and Maciej Koutny and Karsten Wolf}, title = {Transactions on Petri Nets and Other Models of Concurrency {VII}}, series = {Lecture Notes in Computer Science}, volume = {7480}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-38143-0}, doi = {10.1007/978-3-642-38143-0}, isbn = {978-3-642-38142-3}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/topnoc/2013-7.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:journals/topnoc/2013-8, editor = {Maciej Koutny and Wil M. P. van der Aalst and Alex Yakovlev}, title = {Transactions on Petri Nets and Other Models of Concurrency {VIII}}, series = {Lecture Notes in Computer Science}, volume = {8100}, publisher = {Springer}, year = {2013}, url = {https://doi.org/10.1007/978-3-642-40465-8}, doi = {10.1007/978-3-642-40465-8}, isbn = {978-3-642-40464-1}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/topnoc/2013-8.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/KleijnK12, author = {Jetty Kleijn and Maciej Koutny}, title = {Step coverability algorithms for communicating systems}, journal = {Sci. Comput. Program.}, volume = {77}, number = {7-8}, pages = {955--967}, year = {2012}, url = {https://doi.org/10.1016/j.scico.2010.11.003}, doi = {10.1016/J.SCICO.2010.11.003}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/KleijnK12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/KleijnK12, author = {Jetty Kleijn and Maciej Koutny}, title = {Localities in systems with a/sync communication}, journal = {Theor. Comput. Sci.}, volume = {429}, pages = {185--192}, year = {2012}, url = {https://doi.org/10.1016/j.tcs.2011.12.038}, doi = {10.1016/J.TCS.2011.12.038}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/KleijnK12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/CiobanuK12, author = {Gabriel Ciobanu and Maciej Koutny}, title = {Modelling and analysis of biological systems: - Based on papers presented at the Workshop on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC) held in 2008 (Iasi), 2009 (Bologna) and 2010 (Jena)}, journal = {Theor. Comput. Sci.}, volume = {431}, pages = {2--3}, year = {2012}, url = {https://doi.org/10.1016/j.tcs.2011.12.064}, doi = {10.1016/J.TCS.2011.12.064}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/CiobanuK12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/KleijnKP12, author = {Jetty Kleijn and Maciej Koutny and Marta Pietkiewicz{-}Koutny}, title = {Regions of Petri nets with a/sync connections}, journal = {Theor. Comput. Sci.}, volume = {454}, pages = {189--198}, year = {2012}, url = {https://doi.org/10.1016/j.tcs.2012.04.016}, doi = {10.1016/J.TCS.2012.04.016}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/KleijnKP12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcsb/EhrenfeuchtKKR12, author = {Andrzej Ehrenfeucht and Jetty Kleijn and Maciej Koutny and Grzegorz Rozenberg}, title = {Minimal Reaction Systems}, journal = {Trans. Comp. Sys. Biology}, volume = {14}, pages = {102--122}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-35524-0\_5}, doi = {10.1007/978-3-642-35524-0\_5}, timestamp = {Thu, 14 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcsb/EhrenfeuchtKKR12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/topnoc/KoutnyP12, author = {Maciej Koutny and Marta Pietkiewicz{-}Koutny}, title = {Synthesis Problem for Petri Nets with Localities}, journal = {Trans. Petri Nets Other Model. Concurr.}, volume = {5}, pages = {160--180}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-29072-5\_7}, doi = {10.1007/978-3-642-29072-5\_7}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/topnoc/KoutnyP12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/acsd/MikulskiK12, author = {Lukasz Mikulski and Maciej Koutny}, editor = {Jens Brandt and Keijo Heljanko}, title = {Hasse Diagrams of Combined Traces}, booktitle = {12th International Conference on Application of Concurrency to System Design, {ACSD} 2012, Hamburg, Germany, June 27-29, 2012}, pages = {92--101}, publisher = {{IEEE} Computer Society}, year = {2012}, url = {https://doi.org/10.1109/ACSD.2012.9}, doi = {10.1109/ACSD.2012.9}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/acsd/MikulskiK12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/EhrenfeuchtKKR12, author = {Andrzej Ehrenfeucht and Jetty Kleijn and Maciej Koutny and Grzegorz Rozenberg}, editor = {Henning Bordihn and Martin Kutrib and Bianca Truthe}, title = {Relevance of Entities in Reaction Systems}, booktitle = {Languages Alive - Essays Dedicated to J{\"{u}}rgen Dassow on the Occasion of His 65th Birthday}, series = {Lecture Notes in Computer Science}, volume = {7300}, pages = {44--55}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-31644-9\_3}, doi = {10.1007/978-3-642-31644-9\_3}, timestamp = {Sun, 25 Oct 2020 23:08:30 +0100}, biburl = {https://dblp.org/rec/conf/birthday/EhrenfeuchtKKR12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/forte/AmanCK12, author = {Bogdan Aman and Gabriel Ciobanu and Maciej Koutny}, editor = {Holger Giese and Grigore Rosu}, title = {Behavioural Equivalences over Migrating Processes with Timers}, booktitle = {Formal Techniques for Distributed Systems - Joint 14th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2012 and 32nd {IFIP} {WG} 6.1 International Conference, {FORTE} 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7273}, pages = {52--66}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-30793-5\_4}, doi = {10.1007/978-3-642-30793-5\_4}, timestamp = {Wed, 25 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/forte/AmanCK12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ipaw/MissierRK12, author = {Paolo Missier and Brian Randell and Maciej Koutny}, editor = {Paul Groth and James Frew}, title = {Modelling Provenance Using Structured Occurrence Networks}, booktitle = {Provenance and Annotation of Data and Processes - 4th International Provenance and Annotation Workshop, {IPAW} 2012, Santa Barbara, CA, USA, June 19-21, 2012, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {7525}, pages = {183--197}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-34222-6\_14}, doi = {10.1007/978-3-642-34222-6\_14}, timestamp = {Tue, 04 Aug 2020 18:48:40 +0200}, biburl = {https://dblp.org/rec/conf/ipaw/MissierRK12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sefm/CiobanuKS12, author = {Gabriel Ciobanu and Maciej Koutny and L. Jason Steggles}, editor = {George Eleftherakis and Mike Hinchey and Mike Holcombe}, title = {A Timed Mobility Semantics Based on Rewriting Strategies}, booktitle = {Software Engineering and Formal Methods - 10th International Conference, {SEFM} 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7504}, pages = {141--155}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-33826-7\_10}, doi = {10.1007/978-3-642-33826-7\_10}, timestamp = {Sat, 05 Sep 2020 18:01:22 +0200}, biburl = {https://dblp.org/rec/conf/sefm/CiobanuKS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tgc/BryansKM12, author = {Jeremy W. Bryans and Maciej Koutny and Chunyan Mu}, editor = {Catuscia Palamidessi and Mark Dermot Ryan}, title = {Towards Quantitative Analysis of Opacity}, booktitle = {Trustworthy Global Computing - 7th International Symposium, {TGC} 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {8191}, pages = {145--163}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-41157-1\_10}, doi = {10.1007/978-3-642-41157-1\_10}, timestamp = {Wed, 07 Dec 2022 23:14:04 +0100}, biburl = {https://dblp.org/rec/conf/tgc/BryansKM12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1211-4090, author = {Jetty Kleijn and Maciej Koutny and Marta Pietkiewicz{-}Koutny and Grzegorz Rozenberg}, editor = {Gabriel Ciobanu}, title = {Membrane Systems and Petri Net Synthesis}, booktitle = {Proceedings 6th Workshop on Membrane Computing and Biologically Inspired Process Calculi, MeCBIC 2012, Newcastle, UK, 8th September 2012}, series = {{EPTCS}}, volume = {100}, pages = {1--13}, year = {2012}, url = {https://doi.org/10.4204/EPTCS.100.1}, doi = {10.4204/EPTCS.100.1}, timestamp = {Tue, 29 Dec 2020 18:21:24 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1211-4090.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/concur/2012, editor = {Maciej Koutny and Irek Ulidowski}, title = {{CONCUR} 2012 - Concurrency Theory - 23rd International Conference, {CONCUR} 2012, Newcastle upon Tyne, UK, September 4-7, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7454}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-32940-1}, doi = {10.1007/978-3-642-32940-1}, isbn = {978-3-642-32939-5}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/concur/2012.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cuza/KleijnKR11, author = {Jetty Kleijn and Maciej Koutny and Grzegorz Rozenberg}, title = {Petri Nets for Biologically Motivated Computing}, journal = {Sci. Ann. Comput. Sci.}, volume = {21}, number = {2}, pages = {199--225}, year = {2011}, url = {http://www.info.uaic.ro/bin/Annals/Article?v=XXI2\&\#38;a=1}, timestamp = {Tue, 01 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cuza/KleijnKR11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/KleijnK11, author = {Jetty Kleijn and Maciej Koutny}, title = {Membrane Systems with Qualitative Evolution Rules}, journal = {Fundam. Informaticae}, volume = {110}, number = {1-4}, pages = {217--230}, year = {2011}, url = {https://doi.org/10.3233/FI-2011-539}, doi = {10.3233/FI-2011-539}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/KleijnK11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jlp/CiobanuK11, author = {Gabriel Ciobanu and Maciej Koutny}, title = {Timed Mobility in process algebra and Petri nets}, journal = {J. Log. Algebraic Methods Program.}, volume = {80}, number = {7}, pages = {377--391}, year = {2011}, url = {https://doi.org/10.1016/j.jlap.2011.05.002}, doi = {10.1016/J.JLAP.2011.05.002}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jlp/CiobanuK11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apn/KleijnKPR11, author = {Jetty Kleijn and Maciej Koutny and Marta Pietkiewicz{-}Koutny and Grzegorz Rozenberg}, editor = {J{\"{o}}rg Desel and Alex Yakovlev}, title = {Classifying Boolean Nets for Region-based Synthesis}, booktitle = {Proceedings of the Workshop Applications of Region Theory 2011, Newcastle upon Tyne, UK, June 21, 2011}, series = {{CEUR} Workshop Proceedings}, volume = {725}, pages = {5--21}, publisher = {CEUR-WS.org}, year = {2011}, url = {https://ceur-ws.org/Vol-725/paper01.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:38 +0100}, biburl = {https://dblp.org/rec/conf/apn/KleijnKPR11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apn/KleijnK11, author = {Jetty Kleijn and Maciej Koutny}, editor = {Lars Michael Kristensen and Laure Petrucci}, title = {The Mutex Paradigm of Concurrency}, booktitle = {Applications and Theory of Petri Nets - 32nd International Conference, {PETRI} {NETS} 2011, Newcastle, UK, June 20-24, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6709}, pages = {228--247}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-21834-7\_13}, doi = {10.1007/978-3-642-21834-7\_13}, timestamp = {Tue, 14 May 2019 10:00:45 +0200}, biburl = {https://dblp.org/rec/conf/apn/KleijnK11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/KleijnK11, author = {Jetty Kleijn and Maciej Koutny}, editor = {Cliff B. Jones and John L. Lloyd}, title = {Causality in Structured Occurrence Nets}, booktitle = {Dependable and Historic Computing - Essays Dedicated to Brian Randell on the Occasion of His 75th Birthday}, series = {Lecture Notes in Computer Science}, volume = {6875}, pages = {283--297}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-24541-1\_22}, doi = {10.1007/978-3-642-24541-1\_22}, timestamp = {Tue, 14 May 2019 10:00:52 +0200}, biburl = {https://dblp.org/rec/conf/birthday/KleijnK11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fm/CiobanuK11, author = {Gabriel Ciobanu and Maciej Koutny}, editor = {Michael J. Butler and Wolfram Schulte}, title = {Timed Migration and Interaction with Access Permissions}, booktitle = {{FM} 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6664}, pages = {293--307}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-21437-0\_23}, doi = {10.1007/978-3-642-21437-0\_23}, timestamp = {Tue, 14 May 2019 10:00:46 +0200}, biburl = {https://dblp.org/rec/conf/fm/CiobanuK11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-1108-3422, author = {Jetty Kleijn and Maciej Koutny and Grzegorz Rozenberg}, title = {Petri Nets and Bio-Modelling - and how to benefit from their synergy}, journal = {CoRR}, volume = {abs/1108.3422}, year = {2011}, url = {http://arxiv.org/abs/1108.3422}, eprinttype = {arXiv}, eprint = {1108.3422}, timestamp = {Mon, 13 Aug 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1108-3422.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cuza/KlaudelKPP10, author = {Hanna Klaudel and Maciej Koutny and Elisabeth Pelz and Franck Pommereau}, title = {State Space Reduction for Dynamic Process Creation}, journal = {Sci. Ann. Comput. Sci.}, volume = {20}, pages = {131--157}, year = {2010}, url = {http://www.info.uaic.ro/bin/Annals/Article?v=XX\&\#38;a=4}, timestamp = {Tue, 01 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cuza/KlaudelKPP10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/KoutnyP10, author = {Maciej Koutny and Marta Pietkiewicz{-}Koutny}, title = {Minimal Regions of ENL-Transition Systems}, journal = {Fundam. Informaticae}, volume = {101}, number = {1-2}, pages = {45--58}, year = {2010}, url = {https://doi.org/10.3233/FI-2010-274}, doi = {10.3233/FI-2010-274}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/KoutnyP10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/acsd/BertensKKV10, author = {Laura M. F. Bertens and Jetty Kleijn and Maciej Koutny and Fons J. Verbeek}, editor = {Susanna Donatelli and Jetty Kleijn and Ricardo Jorge Machado and Jo{\~{a}}o M. Fernandes}, title = {Modelling Gradients using Petri Nets}, booktitle = {Proceedings of the Workshops of the 31st International Conference on Application and Theory of Petri Nets and Other Models of Concurrency {(PETRI} {NETS} 2010) and of the 10th International Conference on Application of Concurrency to System Design {(ACSD} 2010), Braga, Portugal, June, 2010}, series = {{CEUR} Workshop Proceedings}, volume = {827}, pages = {39--53}, publisher = {CEUR-WS.org}, year = {2010}, url = {https://ceur-ws.org/Vol-827/4\_LauraBertens\_article.pdf}, timestamp = {Wed, 09 Aug 2023 08:39:51 +0200}, biburl = {https://dblp.org/rec/conf/acsd/BertensKKV10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/acsd/KoutnyP10, author = {Maciej Koutny and Marta Pietkiewicz{-}Koutny}, editor = {Susanna Donatelli and Jetty Kleijn and Ricardo Jorge Machado and Jo{\~{a}}o M. Fernandes}, title = {Synthesis of General Petri Nets with Localities}, booktitle = {Proceedings of the Workshops of the 31st International Conference on Application and Theory of Petri Nets and Other Models of Concurrency {(PETRI} {NETS} 2010) and of the 10th International Conference on Application of Concurrency to System Design {(ACSD} 2010), Braga, Portugal, June, 2010}, series = {{CEUR} Workshop Proceedings}, volume = {827}, pages = {161--174}, publisher = {CEUR-WS.org}, year = {2010}, url = {https://ceur-ws.org/Vol-827/13\_MaciejKoutny\_article.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/acsd/KoutnyP10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apn/KleijnK10, author = {Jetty Kleijn and Maciej Koutny}, editor = {Johan Lilius and Wojciech Penczek}, title = {Petri Nets with Localities and Testing}, booktitle = {Applications and Theory of Petri Nets, 31st International Conference, {PETRI} {NETS} 2010, Braga, Portugal, June 21-25, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6128}, pages = {19--38}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-13675-7\_3}, doi = {10.1007/978-3-642-13675-7\_3}, timestamp = {Tue, 14 May 2019 10:00:45 +0200}, biburl = {https://dblp.org/rec/conf/apn/KleijnK10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/ws/p/JanickiKK10, author = {Ryszard Janicki and Jetty Kleijn and Maciej Koutny}, editor = {Carlos Mart{\'{\i}}n{-}Vide}, title = {Quotient Monoids and Concurrent Behaviours}, booktitle = {Scientific Applications of Language Methods}, series = {Mathematics, Computing, Language, and Life: Frontiers in Mathematical Linguistics and Language Theory}, volume = {2}, pages = {313--385}, publisher = {World Scientific / Imperial College Press}, year = {2010}, timestamp = {Mon, 14 Jan 2019 16:34:27 +0100}, biburl = {https://dblp.org/rec/books/ws/p/JanickiKK10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:journals/corr/abs-1011-0051, editor = {Gabriel Ciobanu and Maciej Koutny}, title = {Proceedings Fourth Workshop on Membrane Computing and Biologically Inspired Process Calculi, MeCBIC 2010, Jena, Germany, 23 August 2010}, series = {{EPTCS}}, volume = {40}, year = {2010}, url = {https://doi.org/10.4204/EPTCS.40}, doi = {10.4204/EPTCS.40}, timestamp = {Wed, 12 Sep 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1011-0051.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:journals/topnoc/2010-4, editor = {Kurt Jensen and Susanna Donatelli and Maciej Koutny}, title = {Transactions on Petri Nets and Other Models of Concurrency {IV}}, series = {Lecture Notes in Computer Science}, volume = {6550}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-18222-8}, doi = {10.1007/978-3-642-18222-8}, isbn = {978-3-642-18221-1}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/topnoc/2010-4.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cuza/KoutnyP09, author = {Maciej Koutny and Marta Pietkiewicz{-}Koutny}, title = {Synthesis of Petri Nets with Localities}, journal = {Sci. Ann. Comput. Sci.}, volume = {19}, pages = {1--23}, year = {2009}, url = {http://www.info.uaic.ro/bin/Annals/Article?v=XIX\&\#38;a=0}, timestamp = {Tue, 01 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cuza/KoutnyP09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/DarondeauKPY09, author = {Philippe Darondeau and Maciej Koutny and Marta Pietkiewicz{-}Koutny and Alexandre Yakovlev}, title = {Synthesis of Nets with Step Firing Policies}, journal = {Fundam. Informaticae}, volume = {94}, number = {3-4}, pages = {275--303}, year = {2009}, url = {https://doi.org/10.3233/FI-2009-132}, doi = {10.3233/FI-2009-132}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/DarondeauKPY09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/KoutnyR09, author = {Maciej Koutny and Brian Randell}, title = {Structured Occurrence Nets: {A} Formalism for Aiding System Failure Prevention and Analysis Techniques}, journal = {Fundam. Informaticae}, volume = {97}, number = {1-2}, pages = {41--91}, year = {2009}, url = {https://doi.org/10.3233/FI-2009-192}, doi = {10.3233/FI-2009-192}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/KoutnyR09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/nc/KleijnK09, author = {Jetty Kleijn and Maciej Koutny}, title = {A Petri net model for membrane systems with dynamic structure}, journal = {Nat. Comput.}, volume = {8}, number = {4}, pages = {781--796}, year = {2009}, url = {https://doi.org/10.1007/s11047-008-9101-0}, doi = {10.1007/S11047-008-9101-0}, timestamp = {Thu, 02 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/nc/KleijnK09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsen/KleijnK09, author = {Jetty Kleijn and Maciej Koutny}, editor = {Farhad Arbab and Marjan Sirjani}, title = {Applying Step Coverability Trees to Communicating Component-Based Systems}, booktitle = {Fundamentals of Software Engineering, Third {IPM} International Conference, {FSEN} 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {5961}, pages = {178--193}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-11623-0\_10}, doi = {10.1007/978-3-642-11623-0\_10}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/fsen/KleijnK09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iscis/KlaudelKPP09, author = {Hanna Klaudel and Maciej Koutny and Elisabeth Pelz and Franck Pommereau}, title = {An approach to state space reduction for systems with dynamic process creation}, booktitle = {The 24th International Symposium on Computer and Information Sciences, {ISCIS} 2009, 14-16 September 2009, North Cyprus}, pages = {543--548}, publisher = {{IEEE}}, year = {2009}, url = {https://doi.org/10.1109/ISCIS.2009.5291864}, doi = {10.1109/ISCIS.2009.5291864}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/iscis/KlaudelKPP09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:journals/topnoc/2009-3, editor = {Kurt Jensen and Jonathan Billington and Maciej Koutny}, title = {Transactions on Petri Nets and Other Models of Concurrency {III}}, series = {Lecture Notes in Computer Science}, volume = {5800}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-04856-2}, doi = {10.1007/978-3-642-04856-2}, isbn = {978-3-642-04854-8}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/topnoc/2009-3.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/DevillersKK08, author = {Raymond R. Devillers and Hanna Klaudel and Maciej Koutny}, title = {A compositional Petri net translation of general \emph{pi} -calculus terms}, journal = {Formal Aspects Comput.}, volume = {20}, number = {4-5}, pages = {429--450}, year = {2008}, url = {https://doi.org/10.1007/s00165-008-0079-2}, doi = {10.1007/S00165-008-0079-2}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/DevillersKK08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/KoutnyP08, author = {Maciej Koutny and Marta Pietkiewicz{-}Koutny}, title = {Synthesis of Elementary Net Systems with Context Arcs and Localities}, journal = {Fundam. Informaticae}, volume = {88}, number = {3}, pages = {307--328}, year = {2008}, url = {http://content.iospress.com/articles/fundamenta-informaticae/fi88-3-05}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/KoutnyP08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijisec/BryansKMR08, author = {Jeremy W. Bryans and Maciej Koutny and Laurent Mazar{\'{e}} and Peter Y. A. Ryan}, title = {Opacity generalised to transition systems}, journal = {Int. J. Inf. Sec.}, volume = {7}, number = {6}, pages = {421--435}, year = {2008}, url = {https://doi.org/10.1007/s10207-008-0058-x}, doi = {10.1007/S10207-008-0058-X}, timestamp = {Sat, 19 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijisec/BryansKMR08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/DuanYK08, author = {Zhenhua Duan and Xiaoxiao Yang and Maciej Koutny}, title = {Framed temporal logic programming}, journal = {Sci. Comput. Program.}, volume = {70}, number = {1}, pages = {31--61}, year = {2008}, url = {https://doi.org/10.1016/j.scico.2007.09.001}, doi = {10.1016/J.SCICO.2007.09.001}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/DuanYK08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/KleijnK08, author = {Jetty Kleijn and Maciej Koutny}, title = {Processes of membrane systems with promoters and inhibitors}, journal = {Theor. Comput. Sci.}, volume = {404}, number = {1-2}, pages = {112--126}, year = {2008}, url = {https://doi.org/10.1016/j.tcs.2008.04.006}, doi = {10.1016/J.TCS.2008.04.006}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/KleijnK08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apn/DarondeauKPY08, author = {Philippe Darondeau and Maciej Koutny and Marta Pietkiewicz{-}Koutny and Alexandre Yakovlev}, editor = {Kees M. van Hee and R{\"{u}}diger Valk}, title = {Synthesis of Nets with Step Firing Policies}, booktitle = {Applications and Theory of Petri Nets, 29th International Conference, {PETRI} {NETS} 2008, Xi'an, China, June 23-27, 2008. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5062}, pages = {112--131}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-68746-7\_11}, doi = {10.1007/978-3-540-68746-7\_11}, timestamp = {Tue, 14 May 2019 10:00:45 +0200}, biburl = {https://dblp.org/rec/conf/apn/DarondeauKPY08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fase/CiobanuK08, author = {Gabriel Ciobanu and Maciej Koutny}, editor = {Jos{\'{e}} Luiz Fiadeiro and Paola Inverardi}, title = {Modelling and Verification of Timed Interaction and Migration}, booktitle = {Fundamental Approaches to Software Engineering, 11th International Conference, {FASE} 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4961}, pages = {215--229}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-78743-3\_16}, doi = {10.1007/978-3-540-78743-3\_16}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/fase/CiobanuK08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ictac/KlaudelKPP08, author = {Hanna Klaudel and Maciej Koutny and Elisabeth Pelz and Franck Pommereau}, editor = {John S. Fitzgerald and Anne E. Haxthausen and H{\"{u}}sn{\"{u}} Yenig{\"{u}}n}, title = {Towards Efficient Verification of Systems with Dynamic Process Creation}, booktitle = {Theoretical Aspects of Computing - {ICTAC} 2008, 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5160}, pages = {186--200}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-85762-4\_13}, doi = {10.1007/978-3-540-85762-4\_13}, timestamp = {Fri, 28 Feb 2020 14:02:33 +0100}, biburl = {https://dblp.org/rec/conf/ictac/KlaudelKPP08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/sci/KleijnK08, author = {Jetty Kleijn and Maciej Koutny}, editor = {Gemma Bel Enguix and Mar{\'{\i}}a Dolores Jim{\'{e}}nez{-}L{\'{o}}pez and Carlos Mart{\'{\i}}n{-}Vide}, title = {Formal Languages and Concurrent Behaviours}, booktitle = {New Developments in Formal Languages and Applications}, series = {Studies in Computational Intelligence}, volume = {113}, pages = {125--182}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-78291-9\_5}, doi = {10.1007/978-3-540-78291-9\_5}, timestamp = {Mon, 30 May 2022 13:50:02 +0200}, biburl = {https://dblp.org/rec/series/sci/KleijnK08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/acsd/2008, editor = {Jonathan Billington and Zhenhua Duan and Maciej Koutny}, title = {8th International Conference on Application of Concurrency to System Design {(ACSD} 2008), Xi'an, China, June 23-27, 2008}, publisher = {{IEEE}}, year = {2008}, url = {https://ieeexplore.ieee.org/xpl/conhome/4562770/proceeding}, isbn = {978-1-4244-1838-1}, timestamp = {Wed, 16 Oct 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/acsd/2008.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fmsd/KhomenkoK07, author = {Victor Khomenko and Maciej Koutny}, title = {Verification of bounded Petri nets using integer programming}, journal = {Formal Methods Syst. Des.}, volume = {30}, number = {2}, pages = {143--176}, year = {2007}, url = {https://doi.org/10.1007/s10703-006-0022-1}, doi = {10.1007/S10703-006-0022-1}, timestamp = {Fri, 13 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fmsd/KhomenkoK07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/KleijnK07, author = {Jetty Kleijn and Maciej Koutny}, title = {Processes of Petri Nets with Range Testing}, journal = {Fundam. Informaticae}, volume = {80}, number = {1-3}, pages = {199--219}, year = {2007}, url = {http://content.iospress.com/articles/fundamenta-informaticae/fi80-1-3-11}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/KleijnK07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/acsd/DevillersKK07, author = {Raymond R. Devillers and Hanna Klaudel and Maciej Koutny}, editor = {Twan Basten and Gabriel Juh{\'{a}}s and Sandeep K. Shukla}, title = {Modelling Mobility in High-level Petri Nets}, booktitle = {Seventh International Conference on Application of Concurrency to System Design {(ACSD} 2007), 10-13 July 2007, Bratislava, Slovak Republic}, pages = {110--119}, publisher = {{IEEE} Computer Society}, year = {2007}, url = {https://doi.org/10.1109/ACSD.2007.55}, doi = {10.1109/ACSD.2007.55}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/acsd/DevillersKK07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apn/KoutnyP07, author = {Maciej Koutny and Marta Pietkiewicz{-}Koutny}, editor = {Jetty Kleijn and Alexandre Yakovlev}, title = {Synthesis of Elementary Net Systems with Context Arcs and Localities}, booktitle = {Petri Nets and Other Models of Concurrency - {ICATPN} 2007, 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, {ICATPN} 2007, Siedlce, Poland, June 25-29, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4546}, pages = {281--300}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-73094-1\_18}, doi = {10.1007/978-3-540-73094-1\_18}, timestamp = {Tue, 14 May 2019 10:00:45 +0200}, biburl = {https://dblp.org/rec/conf/apn/KoutnyP07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ictac/RandellK07, author = {Brian Randell and Maciej Koutny}, editor = {Cliff B. Jones and Zhiming Liu and Jim Woodcock}, title = {Failures: Their Definition, Modelling and Analysis}, booktitle = {Theoretical Aspects of Computing - {ICTAC} 2007, 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4711}, pages = {260--274}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-75292-9\_18}, doi = {10.1007/978-3-540-75292-9\_18}, timestamp = {Fri, 17 Feb 2023 09:02:01 +0100}, biburl = {https://dblp.org/rec/conf/ictac/RandellK07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/acta/KhomenkoKKV06, author = {Victor Khomenko and Alex Kondratyev and Maciej Koutny and Walter Vogler}, title = {Merged processes: a new condensed representation of Petri net behaviour}, journal = {Acta Informatica}, volume = {43}, number = {5}, pages = {307--330}, year = {2006}, url = {https://doi.org/10.1007/s00236-006-0023-y}, doi = {10.1007/S00236-006-0023-Y}, timestamp = {Sun, 21 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/acta/KhomenkoKKV06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/KhomenkoKY06, author = {Victor Khomenko and Maciej Koutny and Alexandre Yakovlev}, title = {Logic Synthesis for Asynchronous Circuits Based on {STG} Unfoldings and Incremental {SAT}}, journal = {Fundam. Informaticae}, volume = {70}, number = {1-2}, pages = {49--73}, year = {2006}, url = {http://content.iospress.com/articles/fundamenta-informaticae/fi70-1-2-04}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/KhomenkoKY06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/DevillersKK06, author = {Raymond R. Devillers and Hanna Klaudel and Maciej Koutny}, title = {Petri Net Semantics of the Finite pi-calculus Terms}, journal = {Fundam. Informaticae}, volume = {70}, number = {3}, pages = {203--226}, year = {2006}, url = {http://content.iospress.com/articles/fundamenta-informaticae/fi70-3-03}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/DevillersKK06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jalc/KleijnKR06, author = {Jetty Kleijn and Maciej Koutny and Grzegorz Rozenberg}, title = {Process Semantics for Membrane Systems}, journal = {J. Autom. Lang. Comb.}, volume = {11}, number = {3}, pages = {321--340}, year = {2006}, url = {https://doi.org/10.25596/jalc-2006-321}, doi = {10.25596/JALC-2006-321}, timestamp = {Mon, 11 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jalc/KleijnKR06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/acsd/KoutnyPP06, author = {Maciej Koutny and Giuseppe Pappalardo and Marta Pietkiewicz{-}Koutny}, title = {Towards an Algebra of Abstractions for Communicating Processes}, booktitle = {Sixth International Conference on Application of Concurrency to System Design {(ACSD} 2006), 28-30 June 2006, Turku, Finland}, pages = {239--250}, publisher = {{IEEE} Computer Society}, year = {2006}, url = {https://doi.org/10.1109/ACSD.2006.34}, doi = {10.1109/ACSD.2006.34}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/acsd/KoutnyPP06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apn/KleijnK06, author = {H. C. M. Kleijn and Maciej Koutny}, editor = {Susanna Donatelli and P. S. Thiagarajan}, title = {Infinite Process Semantics of Inhibitor Nets}, booktitle = {Petri Nets and Other Models of Concurrency - {ICATPN} 2006, 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Turku, Finland, June 26-30, 2006, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4024}, pages = {282--301}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11767589\_16}, doi = {10.1007/11767589\_16}, timestamp = {Tue, 14 May 2019 10:00:45 +0200}, biburl = {https://dblp.org/rec/conf/apn/KleijnK06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/KoutnyP06, author = {Maciej Koutny and Marta Pietkiewicz{-}Koutny}, editor = {Christel Baier and Holger Hermanns}, title = {Transition Systems of Elementary Net Systems with Localities}, booktitle = {{CONCUR} 2006 - Concurrency Theory, 17th International Conference, {CONCUR} 2006, Bonn, Germany, August 27-30, 2006, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4137}, pages = {173--187}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11817949\_12}, doi = {10.1007/11817949\_12}, timestamp = {Sat, 30 Sep 2023 09:37:42 +0200}, biburl = {https://dblp.org/rec/conf/concur/KoutnyP06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ictac/DevillersKK06, author = {Raymond R. Devillers and Hanna Klaudel and Maciej Koutny}, editor = {Kamel Barkaoui and Ana Cavalcanti and Antonio Cerone}, title = {A Petri Net Translation of \emph{pi}-Calculus Terms}, booktitle = {Theoretical Aspects of Computing - {ICTAC} 2006, Third International Colloquium, Tunis, Tunisia, November 20-24, 2006, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4281}, pages = {138--152}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11921240\_10}, doi = {10.1007/11921240\_10}, timestamp = {Mon, 21 Feb 2022 14:40:49 +0100}, biburl = {https://dblp.org/rec/conf/ictac/DevillersKK06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/membrane/KleijnK06, author = {Jetty Kleijn and Maciej Koutny}, editor = {Hendrik Jan Hoogeboom and Gheorghe Paun and Grzegorz Rozenberg and Arto Salomaa}, title = {Synchrony and Asynchrony in Membrane Systems}, booktitle = {Membrane Computing, 7th International Workshop, {WMC} 2006, Leiden, The Netherlands, July 17-21, 2006, Revised, Selected, and Invited Papers}, series = {Lecture Notes in Computer Science}, volume = {4361}, pages = {66--85}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11963516\_5}, doi = {10.1007/11963516\_5}, timestamp = {Tue, 14 May 2019 10:00:48 +0200}, biburl = {https://dblp.org/rec/conf/membrane/KleijnK06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rodin/IliasovKKR06, author = {Alexei Iliasov and Victor Khomenko and Maciej Koutny and Alexander B. Romanovsky}, editor = {Michael J. Butler and Cliff B. Jones and Alexander B. Romanovsky and Elena Troubitsyna}, title = {On Specification and Verification of Location-Based Fault Tolerant Mobile Systems}, booktitle = {Rigorous Development of Complex Fault-Tolerant Systems {[FP6} {IST-511599} {RODIN} project]}, series = {Lecture Notes in Computer Science}, volume = {4157}, pages = {168--188}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11916246\_9}, doi = {10.1007/11916246\_9}, timestamp = {Tue, 14 May 2019 10:00:35 +0200}, biburl = {https://dblp.org/rec/conf/rodin/IliasovKKR06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/KhomenkoKKV05, author = {Victor Khomenko and Alex Kondratyev and Maciej Koutny and Walter Vogler}, editor = {Mart{\'{\i}}n Abadi and Luca de Alfaro}, title = {Merged Processes - {A} New Condensed Representation of Petri Net Behaviour}, booktitle = {{CONCUR} 2005 - Concurrency Theory, 16th International Conference, {CONCUR} 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3653}, pages = {338--352}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11539452\_27}, doi = {10.1007/11539452\_27}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/concur/KhomenkoKKV05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/iclp/DuanYK05, author = {Zhenhua Duan and Xiaoxiao Yang and Maciej Koutny}, editor = {Maurizio Gabbrielli and Gopal Gupta}, title = {Semantics of Framed Temporal Logic Programs}, booktitle = {Logic Programming, 21st International Conference, {ICLP} 2005, Sitges, Spain, October 2-5, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3668}, pages = {356--370}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11562931\_27}, doi = {10.1007/11562931\_27}, timestamp = {Wed, 26 Oct 2022 11:14:38 +0200}, biburl = {https://dblp.org/rec/conf/iclp/DuanYK05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip1-7/BryansKMR05, author = {Jeremy W. Bryans and Maciej Koutny and Laurent Mazar{\'{e}} and Peter Y. A. Ryan}, editor = {Theodosis Dimitrakos and Fabio Martinelli and Peter Y. A. Ryan and Steve A. Schneider}, title = {Opacity Generalised to Transition Systems}, booktitle = {Formal Aspects in Security and Trust, Third International Workshop, {FAST} 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {3866}, pages = {81--95}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11679219\_7}, doi = {10.1007/11679219\_7}, timestamp = {Sun, 02 Oct 2022 16:07:30 +0200}, biburl = {https://dblp.org/rec/conf/ifip1-7/BryansKMR05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/membrane/KleijnKR05, author = {Jetty Kleijn and Maciej Koutny and Grzegorz Rozenberg}, editor = {Rudolf Freund and Gheorghe Paun and Grzegorz Rozenberg and Arto Salomaa}, title = {Towards a Petri Net Semantics for Membrane Systems}, booktitle = {Membrane Computing, 6th International Workshop, {WMC} 2005, Vienna, Austria, July 18-21, 2005, Revised Selected and Invited Papers}, series = {Lecture Notes in Computer Science}, volume = {3850}, pages = {292--309}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11603047\_20}, doi = {10.1007/11603047\_20}, timestamp = {Tue, 14 May 2019 10:00:47 +0200}, biburl = {https://dblp.org/rec/conf/membrane/KleijnKR05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/DevillersKK06, author = {Raymond R. Devillers and Hanna Klaudel and Maciej Koutny}, editor = {Jos C. M. Baeten and Iain C. C. Phillips}, title = {A Petri Net Semantics of a Simple Process Algebra for Mobility}, booktitle = {Proceedings of the 12th Workshop on Expressiveness on Concurrency, {EXPRESS} 2005, San Francisco, CA, USA, August 27, 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {154}, number = {3}, pages = {71--94}, publisher = {Elsevier}, year = {2005}, url = {https://doi.org/10.1016/j.entcs.2006.05.008}, doi = {10.1016/J.ENTCS.2006.05.008}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/DevillersKK06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/BurtonKP04, author = {Jonathan Burton and Maciej Koutny and Giuseppe Pappalardo}, title = {Relating Communicating Processes with Different Interfaces}, journal = {Fundam. Informaticae}, volume = {59}, number = {1}, pages = {1--37}, year = {2004}, url = {http://content.iospress.com/articles/fundamenta-informaticae/fi59-1-01}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/BurtonKP04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/KhomenkoKY04, author = {Victor Khomenko and Maciej Koutny and Alexandre Yakovlev}, title = {Detecting State Encoding Conflicts in {STG} Unfoldings Using {SAT}}, journal = {Fundam. Informaticae}, volume = {62}, number = {2}, pages = {221--241}, year = {2004}, url = {http://content.iospress.com/articles/fundamenta-informaticae/fi62-2-05}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/KhomenkoKY04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/KleijnK04, author = {H. C. M. Kleijn and Maciej Koutny}, title = {Process semantics of general inhibitor nets}, journal = {Inf. Comput.}, volume = {190}, number = {1}, pages = {18--69}, year = {2004}, url = {https://doi.org/10.1016/j.ic.2003.11.002}, doi = {10.1016/J.IC.2003.11.002}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/KleijnK04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcst/DuanK04, author = {Zhenhua Duan and Maciej Koutny}, title = {A Framed Temporal Logic Programming Language}, journal = {J. Comput. Sci. Technol.}, volume = {19}, number = {3}, pages = {341--351}, year = {2004}, url = {https://doi.org/10.1007/BF02944904}, doi = {10.1007/BF02944904}, timestamp = {Sun, 28 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jcst/DuanK04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/acsd/KhomenkoKY04, author = {Victor Khomenko and Maciej Koutny and Alexandre Yakovlev}, title = {Logic Synthesis for Asynchronous Circuits Based on Petri Net Unfoldings and Incremental {SAT}}, booktitle = {4th International Conference on Application of Concurrency to System Design {(ACSD} 2004), 16-18 June 2004, Hamilton, Canada}, pages = {16--25}, publisher = {{IEEE} Computer Society}, year = {2004}, url = {https://doi.org/10.1109/CSD.2004.1309112}, doi = {10.1109/CSD.2004.1309112}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/acsd/KhomenkoKY04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/acsd/DevillersKK04, author = {Raymond R. Devillers and Hanna Klaudel and Maciej Koutny}, title = {Context-based Process Algebras for Mobility}, booktitle = {4th International Conference on Application of Concurrency to System Design {(ACSD} 2004), 16-18 June 2004, Hamilton, Canada}, pages = {79--88}, publisher = {{IEEE} Computer Society}, year = {2004}, url = {https://doi.org/10.1109/CSD.2004.1309118}, doi = {10.1109/CSD.2004.1309118}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/acsd/DevillersKK04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/forte/DevillersKK04, author = {Raymond R. Devillers and Hanna Klaudel and Maciej Koutny}, editor = {David de Frutos{-}Escrig and Manuel N{\'{u}}{\~{n}}ez}, title = {Petri Net Semantics of the Finite pi-Calculus}, booktitle = {Formal Techniques for Networked and Distributed Systems - {FORTE} 2004, 24th {IFIP} {WG} 6.1 International Conference, Madrid Spain, September 27-30, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3235}, pages = {309--325}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30232-2\_20}, doi = {10.1007/978-3-540-30232-2\_20}, timestamp = {Mon, 03 Jan 2022 22:19:32 +0100}, biburl = {https://dblp.org/rec/conf/forte/DevillersKK04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip1-7/BryansKR04, author = {Jeremy W. Bryans and Maciej Koutny and Peter Y. A. Ryan}, editor = {Theodosis Dimitrakos and Fabio Martinelli}, title = {Modelling Dynamic Opacity Using Petri Nets with Silent Actions}, booktitle = {Formal Aspects in Security and Trust: Second {IFIP} {TC1} {WG1.7} Workshop on Formal Aspects in Security and Trust (FAST), an event of the 18th {IFIP} World Computer Congress, August 22-27, 2004, Toulouse, France}, series = {{IFIP}}, volume = {173}, pages = {159--172}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/0-387-24098-5\_12}, doi = {10.1007/0-387-24098-5\_12}, timestamp = {Thu, 14 Mar 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ifip1-7/BryansKR04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/BryansKR05, author = {Jeremy W. Bryans and Maciej Koutny and Peter Y. A. Ryan}, editor = {Nadia Busi and Roberto Gorrieri and Fabio Martinelli}, title = {Modelling Opacity Using Petri Nets}, booktitle = {Proceedings of the 2nd International Workshop on Security Issues with Petri Nets and other Computational Models, WISP@ICATPN 2004, Bologna, Italy, June 26, 2004}, series = {Electronic Notes in Theoretical Computer Science}, volume = {121}, pages = {101--115}, publisher = {Elsevier}, year = {2004}, url = {https://doi.org/10.1016/j.entcs.2004.10.010}, doi = {10.1016/J.ENTCS.2004.10.010}, timestamp = {Tue, 13 Dec 2022 11:53:41 +0100}, biburl = {https://dblp.org/rec/journals/entcs/BryansKR05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/acta/KhomenkoKV03, author = {Victor Khomenko and Maciej Koutny and Walter Vogler}, title = {Canonical prefixes of Petri net unfoldings}, journal = {Acta Informatica}, volume = {40}, number = {2}, pages = {95--118}, year = {2003}, url = {https://doi.org/10.1007/s00236-003-0122-y}, doi = {10.1007/S00236-003-0122-Y}, timestamp = {Sun, 21 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/acta/KhomenkoKV03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/DevillersKKP03, author = {Raymond R. Devillers and Hanna Klaudel and Maciej Koutny and Franck Pommereau}, title = {Asynchronous Box Calculus}, journal = {Fundam. Informaticae}, volume = {54}, number = {4}, pages = {295--344}, year = {2003}, url = {http://content.iospress.com/articles/fundamenta-informaticae/fi54-4-01}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/DevillersKKP03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ac/BestK03, author = {Eike Best and Maciej Koutny}, editor = {J{\"{o}}rg Desel and Wolfgang Reisig and Grzegorz Rozenberg}, title = {Process Algebra: {A} Petri-Net-Oriented Tutorial}, booktitle = {Lectures on Concurrency and Petri Nets, Advances in Petri Nets [This tutorial volume originates from the 4th Advanced Course on Petri Nets, {ACPN} 2003, held in Eichst{\"{a}}tt, Germany in September 2003. In addition to lectures given at {ACPN} 2003, additional chapters have been commissioned]}, series = {Lecture Notes in Computer Science}, volume = {3098}, pages = {180--209}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-27755-2\_5}, doi = {10.1007/978-3-540-27755-2\_5}, timestamp = {Tue, 14 May 2019 10:00:49 +0200}, biburl = {https://dblp.org/rec/conf/ac/BestK03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/acsd/KhomenkoKY03, author = {Victor Khomenko and Maciej Koutny and Alexandre Yakovlev}, title = {Detecting State Coding Conflicts in {STG} Unfoldings Using {SAT}}, booktitle = {3rd International Conference on Application of Concurrency to System Design {(ACSD} 2003), 18-20 June 2003, Guimaraes, Portugal}, pages = {51--60}, publisher = {{IEEE} Computer Society}, year = {2003}, url = {https://doi.org/10.1109/CSD.2003.1207699}, doi = {10.1109/CSD.2003.1207699}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/acsd/KhomenkoKY03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/KhomenkoK03, author = {Victor Khomenko and Maciej Koutny}, editor = {Hubert Garavel and John Hatcliff}, title = {Branching Processes of High-Level Petri Nets}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems, 9th International Conference, {TACAS} 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2003, Warsaw, Poland, April 7-11, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2619}, pages = {458--472}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/3-540-36577-X\_34}, doi = {10.1007/3-540-36577-X\_34}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/tacas/KhomenkoK03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/BestDK02, author = {Eike Best and Raymond R. Devillers and Maciej Koutny}, title = {The Box Algebra = Petri Nets + Process Expressions}, journal = {Inf. Comput.}, volume = {178}, number = {1}, pages = {44--100}, year = {2002}, url = {https://doi.org/10.1006/inco.2002.3117}, doi = {10.1006/INCO.2002.3117}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/BestDK02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/amast/DevillersKKP02, author = {Raymond R. Devillers and Hanna Klaudel and Maciej Koutny and Franck Pommereau}, editor = {H{\'{e}}l{\`{e}}ne Kirchner and Christophe Ringeissen}, title = {An Algebra of Non-safe Petri Boxes}, booktitle = {Algebraic Methodology and Software Technology, 9th International Conference, {AMAST} 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2422}, pages = {192--207}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-45719-4\_14}, doi = {10.1007/3-540-45719-4\_14}, timestamp = {Tue, 14 May 2019 10:00:38 +0200}, biburl = {https://dblp.org/rec/conf/amast/DevillersKKP02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/KhomenkoKV02, author = {Victor Khomenko and Maciej Koutny and Walter Vogler}, editor = {Ed Brinksma and Kim Guldstrand Larsen}, title = {Canonical Prefixes of Petri Net Unfoldings}, booktitle = {Computer Aided Verification, 14th International Conference, {CAV} 2002,Copenhagen, Denmark, July 27-31, 2002, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2404}, pages = {582--595}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-45657-0\_49}, doi = {10.1007/3-540-45657-0\_49}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/cav/KhomenkoKV02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/KleijnK02, author = {H. C. M. Kleijn and Maciej Koutny}, editor = {Lubos Brim and Petr Jancar and Mojm{\'{\i}}r Kret{\'{\i}}nsk{\'{y}} and Anton{\'{\i}}n Kucera}, title = {Causality Semantics of Petri Nets with Weighted Inhibitor Arcs}, booktitle = {{CONCUR} 2002 - Concurrency Theory, 13th International Conference, Brno, Czech Republic, August 20-23, 2002, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2421}, pages = {531--546}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-45694-5\_35}, doi = {10.1007/3-540-45694-5\_35}, timestamp = {Fri, 30 Aug 2019 10:02:28 +0200}, biburl = {https://dblp.org/rec/conf/concur/KleijnK02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/date/KhomenkoKY02, author = {Victor Khomenko and Maciej Koutny and Alexandre Yakovlev}, title = {Detecting State Coding Conflicts in STGs Using Integer Programming}, booktitle = {2002 Design, Automation and Test in Europe Conference and Exposition {(DATE} 2002), 4-8 March 2002, Paris, France}, pages = {338--345}, publisher = {{IEEE} Computer Society}, year = {2002}, url = {https://doi.org/10.1109/DATE.2002.998295}, doi = {10.1109/DATE.2002.998295}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/date/KhomenkoKY02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/date/BystrovKY02, author = {Alexandre V. Bystrov and Maciej Koutny and Alexandre Yakovlev}, title = {Visualization of Partial Order Models in {VLSI} Design Flow}, booktitle = {2002 Design, Automation and Test in Europe Conference and Exposition {(DATE} 2002), 4-8 March 2002, Paris, France}, pages = {1089}, publisher = {{IEEE} Computer Society}, year = {2002}, url = {https://doi.org/10.1109/DATE.2002.998446}, doi = {10.1109/DATE.2002.998446}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/date/BystrovKY02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tacas/HeljankoKK02, author = {Keijo Heljanko and Victor Khomenko and Maciej Koutny}, editor = {Joost{-}Pieter Katoen and Perdita Stevens}, title = {Parallelisation of the Petri Net Unfolding Algorithm}, booktitle = {Tools and Algorithms for the Construction and Analysis of Systems, 8th International Conference, {TACAS} 2002, Held as Part of the Joint European Conference on Theory and Practice of Software, {ETAPS} 2002, Grenoble, France, April 8-12, 2002, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2280}, pages = {371--385}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-46002-0\_26}, doi = {10.1007/3-540-46002-0\_26}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/tacas/HeljankoKK02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@book{DBLP:books/daglib/0003970, author = {Eike Best and Raymond R. Devillers and Maciej Koutny}, title = {Petri net algebra}, series = {Monographs in Theoretical Computer Science. An {EATCS} Series}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/978-3-662-04457-5}, doi = {10.1007/978-3-662-04457-5}, isbn = {978-3-540-67398-9}, timestamp = {Tue, 16 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/daglib/0003970.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/acta/BestDK01, author = {Eike Best and Raymond R. Devillers and Maciej Koutny}, title = {Recursion and Petri nets}, journal = {Acta Informatica}, volume = {37}, number = {11-12}, pages = {781--829}, year = {2001}, url = {https://doi.org/10.1007/PL00013309}, doi = {10.1007/PL00013309}, timestamp = {Sun, 21 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/acta/BestDK01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/csse/BurnsWBKKRY01, author = {Alan Burns and Andy J. Wellings and Frank P. Burns and Albert Koelmans and Maciej Koutny and Alexander B. Romanovsky and Alexandre Yakovlev}, title = {Modelling and verification of an atomic action protocol implemented in Ada}, journal = {Comput. Syst. Sci. Eng.}, volume = {16}, number = {3}, pages = {173--182}, year = {2001}, timestamp = {Thu, 17 Mar 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/csse/BurnsWBKKRY01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/KoutnyP01, author = {Maciej Koutny and Giuseppe Pappalardo}, title = {Behaviour Abstraction for Communicating Sequential Processes}, journal = {Fundam. Informaticae}, volume = {48}, number = {1}, pages = {21--54}, year = {2001}, url = {http://content.iospress.com/articles/fundamenta-informaticae/fi48-1-03}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/KoutnyP01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/acsd/BurtonKP01, author = {Jonathan Burton and Maciej Koutny and Giuseppe Pappalardo}, title = {Implementing Communicating Processes in the Event of Interface Difference}, booktitle = {2nd International Conference on Application of Concurrency to System Design {(ACSD} 2001), 25-30 June 2001, Newcastle upon Tyne, {UK}}, pages = {87}, publisher = {{IEEE} Computer Society}, year = {2001}, url = {https://doi.org/10.1109/CSD.2001.981767}, doi = {10.1109/CSD.2001.981767}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/acsd/BurtonKP01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/KhomenkoK01, author = {Victor Khomenko and Maciej Koutny}, editor = {Kim Guldstrand Larsen and Mogens Nielsen}, title = {Towards an Efficient Algorithm for Unfolding Petri Nets}, booktitle = {{CONCUR} 2001 - Concurrency Theory, 12th International Conference, Aalborg, Denmark, August 20-25, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2154}, pages = {366--380}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-44685-0\_25}, doi = {10.1007/3-540-44685-0\_25}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/concur/KhomenkoK01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fm/BurtonKP01, author = {Jonathan Burton and Maciej Koutny and Giuseppe Pappalardo}, editor = {Jos{\'{e}} Nuno Oliveira and Pamela Zave}, title = {Verifying Implementation Relations}, booktitle = {{FME} 2001: Formal Methods for Increasing Software Productivity, International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2021}, pages = {364--383}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45251-6\_20}, doi = {10.1007/3-540-45251-6\_20}, timestamp = {Tue, 14 May 2019 10:00:46 +0200}, biburl = {https://dblp.org/rec/conf/fm/BurtonKP01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/el/01/BestDK01, author = {Eike Best and Raymond R. Devillers and Maciej Koutny}, editor = {Jan A. Bergstra and Alban Ponse and Scott A. Smolka}, title = {A Unified Model for Nets and Process Algebras}, booktitle = {Handbook of Process Algebra}, pages = {873--944}, publisher = {North-Holland / Elsevier}, year = {2001}, url = {https://doi.org/10.1016/b978-044482830-9/50032-1}, doi = {10.1016/B978-044482830-9/50032-1}, timestamp = {Fri, 28 Jun 2019 09:45:11 +0200}, biburl = {https://dblp.org/rec/books/el/01/BestDK01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/apn/2001, editor = {Jos{\'{e}} Manuel Colom and Maciej Koutny}, title = {Application and Theory of Petri Nets 2001, 22nd International Conference, {ICATPN} 2001, Newcastle upon Tyne, UK, June 25-29, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2075}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45740-2}, doi = {10.1007/3-540-45740-2}, isbn = {3-540-42252-8}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/apn/2001.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apn/KleijnK00, author = {H. C. M. Kleijn and Maciej Koutny}, editor = {Mogens Nielsen and Dan Simpson}, title = {Process Semantics of P/T-Nets with Inhibitor Arcs}, booktitle = {Application and Theory of Petri Nets 2000, 21st International Conference, {ICATPN} 2000, Aarhus, Denmark, June 26-30, 2000, Proceeding}, series = {Lecture Notes in Computer Science}, volume = {1825}, pages = {261--281}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44988-4\_16}, doi = {10.1007/3-540-44988-4\_16}, timestamp = {Sat, 07 Sep 2019 11:59:23 +0200}, biburl = {https://dblp.org/rec/conf/apn/KleijnK00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apn/Koutny00, author = {Maciej Koutny}, editor = {Mogens Nielsen and Dan Simpson}, title = {A Compositional Model of Time Petri Nets}, booktitle = {Application and Theory of Petri Nets 2000, 21st International Conference, {ICATPN} 2000, Aarhus, Denmark, June 26-30, 2000, Proceeding}, series = {Lecture Notes in Computer Science}, volume = {1825}, pages = {303--322}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44988-4\_18}, doi = {10.1007/3-540-44988-4\_18}, timestamp = {Tue, 06 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/apn/Koutny00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/KhomenkoK00, author = {Victor Khomenko and Maciej Koutny}, editor = {Catuscia Palamidessi}, title = {{LP} Deadlock Checking Using Partial Order Dependencies}, booktitle = {{CONCUR} 2000 - Concurrency Theory, 11th International Conference, University Park, PA, USA, August 22-25, 2000, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1877}, pages = {410--425}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/3-540-44618-4\_30}, doi = {10.1007/3-540-44618-4\_30}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/concur/KhomenkoK00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/irtaw/0001WKKRY00, author = {Alan Burns and Andy J. Wellings and Albert Koelmans and Maciej Koutny and Alexander B. Romanovsky and Alexandre Yakovlev}, editor = {Benjamin M. Brosgol and Michael Gonz{\'{a}}lez Harbour}, title = {On developing and verifying design abstractions for reliable concurrent programming in Ada}, booktitle = {Proceedings of the 10th International Workshop on Real-Time Ada, {IRTAW} 2000, {\'{A}}vila, Spain, 2000}, pages = {48--55}, publisher = {{ACM}}, year = {2000}, url = {https://doi.org/10.1145/374370.374381}, doi = {10.1145/374370.374381}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/irtaw/0001WKKRY00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/JanickiK99, author = {Ryszard Janicki and Maciej Koutny}, title = {On Causality Semantics of Nets with Priorities}, journal = {Fundam. Informaticae}, volume = {38}, number = {3}, pages = {223--255}, year = {1999}, url = {https://doi.org/10.3233/FI-1999-38301}, doi = {10.3233/FI-1999-38301}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/JanickiK99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/Koutny99, author = {Maciej Koutny}, title = {Peter Lauer and {COSY}}, journal = {Fundam. Informaticae}, volume = {40}, number = {2-3}, pages = {103--107}, year = {1999}, url = {https://doi.org/10.3233/FI-1999-402301}, doi = {10.3233/FI-1999-402301}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/Koutny99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/KoutnyB99, author = {Maciej Koutny and Eike Best}, title = {Operational and Denotational Semantics for the Box Algebra}, journal = {Theor. Comput. Sci.}, volume = {211}, number = {1-2}, pages = {1--83}, year = {1999}, url = {https://doi.org/10.1016/S0304-3975(97)00180-1}, doi = {10.1016/S0304-3975(97)00180-1}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/KoutnyB99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apn/BestDK99, author = {Eike Best and Raymond R. Devillers and Maciej Koutny}, editor = {Susanna Donatelli and H. C. M. Kleijn}, title = {The Box Algebra - {A} Model of Nets and Process Expressions}, booktitle = {Application and Theory of Petri Nets 1999, 20th International Conference, {ICATPN} '99, Williamsburg, Virginia, USA, June 21-25, 1999, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1639}, pages = {344--363}, publisher = {Springer}, year = {1999}, url = {https://doi.org/10.1007/3-540-48745-X\_21}, doi = {10.1007/3-540-48745-X\_21}, timestamp = {Tue, 14 May 2019 10:00:45 +0200}, biburl = {https://dblp.org/rec/conf/apn/BestDK99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stacs/KoutnyP99, author = {Maciej Koutny and Giuseppe Pappalardo}, editor = {Christoph Meinel and Sophie Tison}, title = {A Model of Behaviour Abstraction for Communicating Processes}, booktitle = {{STACS} 99, 16th Annual Symposium on Theoretical Aspects of Computer Science, Trier, Germany, March 4-6, 1999, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1563}, pages = {313--322}, publisher = {Springer}, year = {1999}, url = {https://doi.org/10.1007/3-540-49116-3\_29}, doi = {10.1007/3-540-49116-3\_29}, timestamp = {Tue, 14 May 2019 10:00:48 +0200}, biburl = {https://dblp.org/rec/conf/stacs/KoutnyP99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/acsd/DevillersK98, author = {Raymond R. Devillers and Maciej Koutny}, title = {Recursive Nets in the Box Algebra}, booktitle = {1st International Conference on Application of Concurrency to System Design {(ACSD} '98), 23-26 March 1998, Fukushima, Japan}, pages = {239--249}, publisher = {{IEEE} Computer Society}, year = {1998}, url = {https://doi.org/10.1109/CSD.1998.657555}, doi = {10.1109/CSD.1998.657555}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/acsd/DevillersK98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apn/HeskethK98, author = {Martin Hesketh and Maciej Koutny}, editor = {J{\"{o}}rg Desel and Manuel Silva Su{\'{a}}rez}, title = {An Axiomatisation of Duplication Equivalence in the Petri Box Calculus}, booktitle = {Application and Theory of Petri Nets 1998, 19th International Conference, {ICATPN} '98, Lisbon, Portugal, June 22-26, 1998, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1420}, pages = {165--184}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/3-540-69108-1\_10}, doi = {10.1007/3-540-69108-1\_10}, timestamp = {Tue, 14 May 2019 10:00:45 +0200}, biburl = {https://dblp.org/rec/conf/apn/HeskethK98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/acta/JanickeK97, author = {Ryszard Janicki and Maciej Koutny}, title = {Fundamentals of Modelling Concurrency Using Discrete Relational Structures}, journal = {Acta Informatica}, volume = {34}, number = {5}, pages = {367--388}, year = {1997}, url = {https://doi.org/10.1007/s002360050090}, doi = {10.1007/S002360050090}, timestamp = {Sun, 21 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/acta/JanickeK97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/KoutnyMP97, author = {Maciej Koutny and Luigi V. Mancini and Giuseppe Pappalardo}, title = {Two Implementation Relations and the Correctness of Communicating Replicated Processes}, journal = {Formal Aspects Comput.}, volume = {9}, number = {2}, pages = {119--148}, year = {1997}, url = {https://doi.org/10.1007/BF01211616}, doi = {10.1007/BF01211616}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/KoutnyMP97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ac/BestDK96, author = {Eike Best and Raymond R. Devillers and Maciej Koutny}, editor = {Wolfgang Reisig and Grzegorz Rozenberg}, title = {Petri Nets, Process Algebras and Concurrent Programming Languages}, booktitle = {Lectures on Petri Nets {II:} Applications, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets, held in Dagstuhl, September 1996}, series = {Lecture Notes in Computer Science}, volume = {1492}, pages = {1--84}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-65307-4\_46}, doi = {10.1007/3-540-65307-4\_46}, timestamp = {Tue, 14 May 2019 10:00:49 +0200}, biburl = {https://dblp.org/rec/conf/ac/BestDK96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/iandc/JanickiK95, author = {Ryszard Janicki and Maciej Koutny}, title = {Semantics of Inhibitor Nets}, journal = {Inf. Comput.}, volume = {123}, number = {1}, pages = {1--16}, year = {1995}, url = {https://doi.org/10.1006/inco.1995.1153}, doi = {10.1006/INCO.1995.1153}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/iandc/JanickiK95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apn/BestK95, author = {Eike Best and Maciej Koutny}, editor = {Giorgio De Michelis and Michel Diaz}, title = {A Refined View of the Box Algebra}, booktitle = {Application and Theory of Petri Nets 1995, 16th International Conference, Turin, Italy, June 26-30, 1995, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {935}, pages = {1--20}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/3-540-60029-9\_29}, doi = {10.1007/3-540-60029-9\_29}, timestamp = {Tue, 14 May 2019 10:00:45 +0200}, biburl = {https://dblp.org/rec/conf/apn/BestK95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/BestK95, author = {Eike Best and Maciej Koutny}, editor = {Zolt{\'{a}}n F{\"{u}}l{\"{o}}p and Ferenc G{\'{e}}cseg}, title = {Solving Recursive Net Equations}, booktitle = {Automata, Languages and Programming, 22nd International Colloquium, ICALP95, Szeged, Hungary, July 10-14, 1995, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {944}, pages = {605--623}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/3-540-60084-1\_109}, doi = {10.1007/3-540-60084-1\_109}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/icalp/BestK95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pstv/AnisimovK95, author = {Nikolay A. Anisimov and Maciej Koutny}, editor = {Piotr Dembinski and Marek Sredniawa}, title = {On compositionality and Petri nets in protocol engineering}, booktitle = {Protocol Specification, Testing and Verification XV, Proceedings of the Fifteenth {IFIP} {WG6.1} International Symposium on Protocol Specification, Testing and Verification, Warsaw, Poland, June 1995}, series = {{IFIP} Conference Proceedings}, volume = {38}, pages = {71--86}, publisher = {Chapman {\&} Hall}, year = {1995}, timestamp = {Thu, 03 Jan 2002 12:07:46 +0100}, biburl = {https://dblp.org/rec/conf/pstv/AnisimovK95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/BestK95, author = {Eike Best and Maciej Koutny}, editor = {Andrea Corradini and Ugo Montanari}, title = {Using net refinement to compute the fixpoint of a recursive}, booktitle = {Joint {COMPUGRAPH/SEMAGRAPH} Workshop on Graph Rewriting and Computation, {SEGRAGRA} 1995, Volterra, Italy, August 28 - September 1, 1995}, series = {Electronic Notes in Theoretical Computer Science}, volume = {2}, pages = {27--28}, publisher = {Elsevier}, year = {1995}, url = {https://doi.org/10.1016/S1571-0661(05)80177-X}, doi = {10.1016/S1571-0661(05)80177-X}, timestamp = {Fri, 11 Nov 2022 13:14:20 +0100}, biburl = {https://dblp.org/rec/journals/entcs/BestK95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eik/JanickiK94, author = {Ryszard Janicki and Maciej Koutny}, title = {Representations of Discrete Interval Orders and Semi-Orders}, journal = {J. Inf. Process. Cybern.}, volume = {30}, number = {3}, pages = {161--168}, year = {1994}, timestamp = {Fri, 06 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/eik/JanickiK94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apn/Koutny94, author = {Maciej Koutny}, editor = {Robert Valette}, title = {Partial Order Semantics of Box Expressions}, booktitle = {Application and Theory of Petri Nets 1994, 15th International Conference, Zaragoza, Spain, June 20-24, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {815}, pages = {318--337}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-58152-9\_18}, doi = {10.1007/3-540-58152-9\_18}, timestamp = {Tue, 14 May 2019 10:00:45 +0200}, biburl = {https://dblp.org/rec/conf/apn/Koutny94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/KoutnyEB94, author = {Maciej Koutny and Javier Esparza and Eike Best}, editor = {Bengt Jonsson and Joachim Parrow}, title = {Operational Semantics for the Petri Box Calculus}, booktitle = {{CONCUR} '94, Concurrency Theory, 5th International Conference, Uppsala, Sweden, August 22-25, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {836}, pages = {210--225}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/978-3-540-48654-1\_19}, doi = {10.1007/978-3-540-48654-1\_19}, timestamp = {Tue, 31 Aug 2021 12:07:11 +0200}, biburl = {https://dblp.org/rec/conf/concur/KoutnyEB94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lpar/DuanKH94, author = {Zhenhua Duan and Maciej Koutny and Chris Holt}, editor = {Frank Pfenning}, title = {Projection in Temporal Logic Programming}, booktitle = {Logic Programming and Automated Reasoning, 5th International Conference, LPAR'94, Kiev, Ukraine, July 16-22, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {822}, pages = {333--344}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-58216-9\_48}, doi = {10.1007/3-540-58216-9\_48}, timestamp = {Tue, 14 May 2019 10:00:55 +0200}, biburl = {https://dblp.org/rec/conf/lpar/DuanKH94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/parle/JanickiK94, author = {Ryszard Janicki and Maciej Koutny}, editor = {Constantine Halatsis and Dimitris G. Maritsas and George Philokyprou and Sergios Theodoridis}, title = {Deriving Histories of Nets with Priority Relation}, booktitle = {{PARLE} '94: Parallel Architectures and Languages Europe, 6th International {PARLE} Conference, Athens, Greece, July 4-8, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {817}, pages = {623--634}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-58184-7\_136}, doi = {10.1007/3-540-58184-7\_136}, timestamp = {Fri, 17 Jul 2020 16:12:46 +0200}, biburl = {https://dblp.org/rec/conf/parle/JanickiK94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/JanickiK93, author = {Ryszard Janicki and Maciej Koutny}, title = {Structure of Concurrency}, journal = {Theor. Comput. Sci.}, volume = {112}, number = {1}, pages = {5--52}, year = {1993}, url = {https://doi.org/10.1016/0304-3975(93)90238-O}, doi = {10.1016/0304-3975(93)90238-O}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/JanickiK93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/JanickiK93, author = {Ryszard Janicki and Maciej Koutny}, editor = {R. K. Shyamasundar}, title = {Order Structures and Generalisations of Szpilrajn's Theorem}, booktitle = {Foundations of Software Technology and Theoretical Computer Science, 13th Conference, Bombay, India, December 15-17, 1993, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {761}, pages = {348--357}, publisher = {Springer}, year = {1993}, url = {https://doi.org/10.1007/3-540-57529-4\_68}, doi = {10.1007/3-540-57529-4\_68}, timestamp = {Tue, 14 May 2019 10:00:51 +0200}, biburl = {https://dblp.org/rec/conf/fsttcs/JanickiK93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/parle/KoutnyMP93, author = {Maciej Koutny and Luigi V. Mancini and Giuseppe Pappalardo}, editor = {Arndt Bode and Mike Reeve and Gottfried Wolf}, title = {Modelling Replicated Processing}, booktitle = {{PARLE} '93, Parallel Architectures and Languages Europe, 5th International {PARLE} Conference, Munich, Germany, June 14-17, 1993, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {694}, pages = {672--675}, publisher = {Springer}, year = {1993}, url = {https://doi.org/10.1007/3-540-56891-3\_56}, doi = {10.1007/3-540-56891-3\_56}, timestamp = {Tue, 14 May 2019 10:00:52 +0200}, biburl = {https://dblp.org/rec/conf/parle/KoutnyMP93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fgcs/JanickiK92, author = {Ryszard Janicki and Maciej Koutny}, title = {Invariants and paradigms of concurrency theory}, journal = {Future Gener. Comput. Syst.}, volume = {8}, number = {4}, pages = {423--435}, year = {1992}, url = {https://doi.org/10.1016/0167-739X(92)90073-K}, doi = {10.1016/0167-739X(92)90073-K}, timestamp = {Wed, 19 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fgcs/JanickiK92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/Koutny92, author = {Maciej Koutny}, title = {Adequacy-Preserving Transformations of {COSY} Path Programs}, journal = {Theor. Comput. Sci.}, volume = {94}, number = {1}, pages = {141--158}, year = {1992}, url = {https://doi.org/10.1016/0304-3975(92)90327-C}, doi = {10.1016/0304-3975(92)90327-C}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/Koutny92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/BestK92, author = {Eike Best and Maciej Koutny}, title = {Petri Net Semantics of Priority Systems}, journal = {Theor. Comput. Sci.}, volume = {96}, number = {1}, pages = {175--174}, year = {1992}, url = {https://doi.org/10.1016/0304-3975(92)90184-H}, doi = {10.1016/0304-3975(92)90184-H}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/BestK92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:conf/apn/Koutny92, author = {Maciej Koutny}, editor = {Grzegorz Rozenberg}, title = {Modelling systems with dynamic priorities}, booktitle = {Advances in Petri Nets 1992, The {DEMON} Project}, series = {Lecture Notes in Computer Science}, volume = {609}, pages = {251--266}, publisher = {Springer}, year = {1992}, url = {https://doi.org/10.1007/3-540-55610-9\_174}, doi = {10.1007/3-540-55610-9\_174}, timestamp = {Tue, 14 May 2019 10:00:45 +0200}, biburl = {https://dblp.org/rec/conf/apn/Koutny92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/Koutny91, author = {Maciej Koutny}, title = {Axiom system induced by CTL* Logic}, journal = {Fundam. Informaticae}, volume = {14}, number = {2}, pages = {235--253}, year = {1991}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/Koutny91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/amast/JanickiK91, author = {Ryszard Janicki and Maciej Koutny}, editor = {Maurice Nivat and Charles Rattray and Teodor Rus and Giuseppe Scollo}, title = {Structure of Concurrency}, booktitle = {Algebraic Methodology and Software Technology {(AMAST} '91), Proceedings of the Second International Conference on Methodology and Software Technology, Iowa City, USA, 22-25 May 1991}, series = {Workshops in Computing}, pages = {98--107}, publisher = {Springer}, year = {1991}, timestamp = {Tue, 18 Feb 2003 11:01:41 +0100}, biburl = {https://dblp.org/rec/conf/amast/JanickiK91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/JanickiK91, author = {Ryszard Janicki and Maciej Koutny}, editor = {Jos C. M. Baeten and Jan Friso Groote}, title = {Invariant Semantics of Nets with Inhibitor Arcs}, booktitle = {{CONCUR} '91, 2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {527}, pages = {317--331}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/3-540-54430-5\_97}, doi = {10.1007/3-540-54430-5\_97}, timestamp = {Fri, 27 Mar 2020 08:51:56 +0100}, biburl = {https://dblp.org/rec/conf/concur/JanickiK91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/parle/JanickiK91, author = {Ryszard Janicki and Maciej Koutny}, editor = {Emile H. L. Aarts and Jan van Leeuwen and Martin Rem}, title = {Invariants and Paradigms of Concurrency Theory}, booktitle = {{PARLE} '91: Parallel Architectures and Languages Europe, Volume {II:} Parallel Languages, Eindhoven, The Netherlands, June 10-13, 1991, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {506}, pages = {59--74}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/3-540-54152-7\_58}, doi = {10.1007/3-540-54152-7\_58}, timestamp = {Tue, 14 May 2019 10:00:52 +0200}, biburl = {https://dblp.org/rec/conf/parle/JanickiK91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/srds/KoutnyMP91, author = {Maciej Koutny and Luigi V. Mancini and Giuseppe Pappalardo}, title = {Formalising Replicated Distributed Processing}, booktitle = {Tenth Symposium on Reliable Distributed Systems, {SRDS} 1991, Pisa, Italy, September 30 - October 2, 1991, Proceedings}, pages = {108--117}, publisher = {{IEEE} Computer Society}, year = {1991}, url = {https://doi.org/10.1109/RELDIS.1991.145412}, doi = {10.1109/RELDIS.1991.145412}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/srds/KoutnyMP91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apn/JanickiK90, author = {Ryszard Janicki and Maciej Koutny}, editor = {Grzegorz Rozenberg}, title = {Optimal simulations, nets and reachability graphs}, booktitle = {Advances in Petri Nets 1991, Papers from the 11th International Conference on Applications and Theory of Petri Nets, Paris, France, June 1990}, series = {Lecture Notes in Computer Science}, volume = {524}, pages = {205--226}, publisher = {Springer}, year = {1990}, url = {https://doi.org/10.1007/BFb0019976}, doi = {10.1007/BFB0019976}, timestamp = {Fri, 17 Jul 2020 16:12:46 +0200}, biburl = {https://dblp.org/rec/conf/apn/JanickiK90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/JanickiK90, author = {Ryszard Janicki and Maciej Koutny}, editor = {Edmund M. Clarke and Robert P. Kurshan}, title = {Using Optimal Simulations to Reduce Reachability Graphs}, booktitle = {Computer Aided Verification, 2nd International Workshop, {CAV} '90, New Brunswick, NJ, USA, June 18-21, 1990, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {531}, pages = {166--175}, publisher = {Springer}, year = {1990}, url = {https://doi.org/10.1007/BFb0023730}, doi = {10.1007/BFB0023730}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/cav/JanickiK90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dimacs/JanickiK90, author = {Ryszard Janicki and Maciej Koutny}, editor = {Edmund M. Clarke and Robert P. Kurshan}, title = {On Some Implementation of Optimal Simulations}, booktitle = {Computer-Aided Verification, Proceedings of a {DIMACS} Workshop 1990, New Brunswick, New Jersey, USA, June 18-21, 1990}, series = {{DIMACS} Series in Discrete Mathematics and Theoretical Computer Science}, volume = {3}, pages = {231--250}, publisher = {{DIMACS/AMS}}, year = {1990}, url = {https://doi.org/10.1090/dimacs/003/17}, doi = {10.1090/DIMACS/003/17}, timestamp = {Mon, 22 May 2023 16:07:35 +0200}, biburl = {https://dblp.org/rec/conf/dimacs/JanickiK90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jss/KoutnyM89, author = {Maciej Koutny and Luigi V. Mancini}, title = {Synchronizing events in replicated systems}, journal = {J. Syst. Softw.}, volume = {9}, number = {3}, pages = {183--190}, year = {1989}, url = {https://doi.org/10.1016/0164-1212(89)90038-1}, doi = {10.1016/0164-1212(89)90038-1}, timestamp = {Mon, 24 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jss/KoutnyM89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/parle/JanickiK89, author = {Ryszard Janicki and Maciej Koutny}, editor = {Eddy Odijk and Martin Rem and Jean{-}Claude Syre}, title = {Towards {A} Theory Of Simulation For Verification Of Concurrent Systems}, booktitle = {{PARLE} '89: Parallel Architectures and Languages Europe, Volume {II:} Parallel Languages, Eindhoven, The Netherlands, June 12-16, 1989, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {366}, pages = {73--88}, publisher = {Springer}, year = {1989}, url = {https://doi.org/10.1007/3-540-51285-3\_34}, doi = {10.1007/3-540-51285-3\_34}, timestamp = {Tue, 14 May 2019 10:00:52 +0200}, biburl = {https://dblp.org/rec/conf/parle/JanickiK89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/Koutny88, author = {Maciej Koutny}, editor = {Friedrich H. Vogt}, title = {Adequacy-Preserving Transformations of {COSY} Path Programs}, booktitle = {Concurrency 88: International Conference on Concurrency, Hamburg, FRG, October 18-19, 1988, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {335}, pages = {368--379}, publisher = {Springer}, year = {1988}, url = {https://doi.org/10.1007/3-540-50403-6\_51}, doi = {10.1007/3-540-50403-6\_51}, timestamp = {Fri, 17 Jul 2020 16:12:46 +0200}, biburl = {https://dblp.org/rec/conf/concur/Koutny88.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/acta/Koutny86, author = {Maciej Koutny}, title = {The Merlin-Randell Problem of Train Journeys}, journal = {Acta Informatica}, volume = {23}, number = {4}, pages = {429--463}, year = {1986}, url = {https://doi.org/10.1007/BF00267866}, doi = {10.1007/BF00267866}, timestamp = {Sun, 21 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/acta/Koutny86.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/JanickiLKD86, author = {Ryszard Janicki and Peter E. Lauer and Maciej Koutny and Raymond R. Devillers}, title = {Concurrent and Maximally Concurrent Evolution of Nonsequential Systems}, journal = {Theor. Comput. Sci.}, volume = {43}, pages = {213--238}, year = {1986}, url = {https://doi.org/10.1016/0304-3975(86)90177-5}, doi = {10.1016/0304-3975(86)90177-5}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/JanickiLKD86.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/acm/ManciniK86, author = {Luigi V. Mancini and Maciej Koutny}, editor = {Lawrence A. Jehn and Larry A. Crum}, title = {Formal specification of N-modular redundancy}, booktitle = {Proceedings of the 14th {ACM} Annual Conference on Computer Science, Cincinnati, Ohio, USA, 1986}, pages = {199--204}, publisher = {{ACM}}, year = {1986}, url = {https://doi.org/10.1145/324634.325389}, doi = {10.1145/324634.325389}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/acm/ManciniK86.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apn/JanickiK86, author = {Ryszard Janicki and Maciej Koutny}, editor = {Grzegorz Rozenberg}, title = {On equivalent execution semantics of concurrent systems}, booktitle = {Advances in Petri Nets 1987, covers the 7th European Workshop on Applications and Theory of Petri Nets, Oxford, UK, June 1986}, series = {Lecture Notes in Computer Science}, volume = {266}, pages = {89--103}, publisher = {Springer}, year = {1986}, url = {https://doi.org/10.1007/3-540-18086-9\_21}, doi = {10.1007/3-540-18086-9\_21}, timestamp = {Tue, 14 May 2019 10:00:45 +0200}, biburl = {https://dblp.org/rec/conf/apn/JanickiK86.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijmms/ZakowskiK85, author = {Wojciech Zakowski and Maciej Koutny}, title = {Identification of Regular Configurations with Partial Information}, journal = {Int. J. Man Mach. Stud.}, volume = {22}, number = {5}, pages = {581--587}, year = {1985}, url = {https://doi.org/10.1016/S0020-7373(85)80019-5}, doi = {10.1016/S0020-7373(85)80019-5}, timestamp = {Fri, 15 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijmms/ZakowskiK85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/programm/Koutny84, author = {Maciej Koutny}, editor = {Manfred Paul and Bernard J. Robinet}, title = {On the Merlin-Randell Problem of Train Journeys}, booktitle = {International Symposium on Programming, 6th Colloquium, Toulouse, France, April 17-19, 1984, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {167}, pages = {179--190}, publisher = {Springer}, year = {1984}, url = {https://doi.org/10.1007/3-540-12925-1\_38}, doi = {10.1007/3-540-12925-1\_38}, timestamp = {Thu, 24 Feb 2022 13:41:39 +0100}, biburl = {https://dblp.org/rec/conf/programm/Koutny84.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.