BibTeX records: Maciej Koutny

download as .bib file

@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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics