Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Jetty Kleijn
@article{DBLP:journals/fuin/BernardinelloKP24,
author = {Luca Bernardinello and
Jetty Kleijn and
Laure Petrucci},
title = {Preface},
journal = {Fundam. Informaticae},
volume = {190},
number = {2-4},
year = {2024},
url = {https://doi.org/10.3233/FI-242166},
doi = {10.3233/FI-242166},
timestamp = {Fri, 16 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fuin/BernardinelloKP24.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/fuin/BuchsCK22,
author = {Didier Buchs and
Josep Carmona and
Jetty Kleijn},
title = {Preface},
journal = {Fundam. Informaticae},
volume = {187},
number = {2-4},
year = {2022},
url = {https://doi.org/10.3233/FI-222132},
doi = {10.3233/FI-222132},
timestamp = {Thu, 24 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fuin/BuchsCK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/topnoc/KwantesK22,
author = {Pieter M. Kwantes and
Jetty Kleijn},
title = {Distributed Synthesis of Asynchronously Communicating Distributed
Process Models},
journal = {Trans. Petri Nets Other Model. Concurr.},
volume = {16},
pages = {49--72},
year = {2022},
url = {https://doi.org/10.1007/978-3-662-65303-6\_3},
doi = {10.1007/978-3-662-65303-6\_3},
timestamp = {Wed, 08 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/topnoc/KwantesK22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2210-16186,
author = {Sebastian Fajardo and
Jetty Kleijn and
Frank W. Takes and
Geeske H. J. Langejans},
title = {Modelling and measuring complexity of traditional and ancient technologies
using Petri nets},
journal = {CoRR},
volume = {abs/2210.16186},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2210.16186},
doi = {10.48550/ARXIV.2210.16186},
eprinttype = {arXiv},
eprint = {2210.16186},
timestamp = {Wed, 02 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2210-16186.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/GenovaHK21,
author = {Daniela Genova and
Hendrik Jan Hoogeboom and
Jetty Kleijn},
title = {Comparing reactions in reaction systems},
journal = {Theor. Comput. Sci.},
volume = {881},
pages = {83--96},
year = {2021},
url = {https://doi.org/10.1016/j.tcs.2020.11.050},
doi = {10.1016/J.TCS.2020.11.050},
timestamp = {Thu, 12 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/GenovaHK21.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/KleijnLL20,
author = {Jetty Kleijn and
Laurentiu Leustean and
Dorel Lucanu},
title = {Preface},
journal = {Fundam. Informaticae},
volume = {173},
number = {2-3},
year = {2020},
url = {https://doi.org/10.3233/FI-2020-1917},
doi = {10.3233/FI-2020-1917},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/KleijnLL20.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}
}
@inproceedings{DBLP:conf/apn/KwantesK20,
author = {Pieter M. Kwantes and
Jetty Kleijn},
editor = {Wil M. P. van der Aalst and
Robin Bergenthum and
Josep Carmona},
title = {On Discovering Distributed Process Models the case of asynchronous
communication},
booktitle = {Proceedings of the International Workshop on Algorithms {\&} Theories
for the Analysis of Event Data 2020 Satellite event of the 41st International
Conference on Application and Theory of Petri Nets and Concurrency
Petri Nets 2020, virtual workshop, June 24, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2625},
pages = {49--65},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2625/paper-04.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:38 +0100},
biburl = {https://dblp.org/rec/conf/apn/KwantesK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coordination/BeekHK20,
author = {Maurice H. ter Beek and
Rolf Hennicker and
Jetty Kleijn},
editor = {Simon Bliudze and
Laura Bocchi},
title = {Team Automata@Work: On Safe Communication},
booktitle = {Coordination Models and Languages - 22nd {IFIP} {WG} 6.1 International
Conference, {COORDINATION} 2020, Held as Part of the 15th International
Federated Conference on Distributed Computing Techniques, DisCoTec
2020, Valletta, Malta, June 15-19, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12134},
pages = {77--85},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-50029-0\_5},
doi = {10.1007/978-3-030-50029-0\_5},
timestamp = {Tue, 16 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coordination/BeekHK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/BeekHK20,
author = {Maurice H. ter Beek and
Rolf Hennicker and
Jetty Kleijn},
editor = {Violet Ka I Pun and
Volker Stolz and
Adenilso Sim{\~{a}}o},
title = {Compositionality of Safe Communication in Systems of Team Automata},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2020 - 17th International
Colloquium, Macau, China, November 30 - December 4, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12545},
pages = {200--220},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-64276-1\_11},
doi = {10.1007/978-3-030-64276-1\_11},
timestamp = {Tue, 01 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictac/BeekHK20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/KhomenkoKPR19,
author = {Victor Khomenko and
Jetty Kleijn and
Wojciech Penczek and
Olivier H. Roux},
title = {Preface},
journal = {Fundam. Informaticae},
volume = {169},
number = {1-2},
pages = {v--vi},
year = {2019},
url = {https://doi.org/10.3233/FI-2019-1836},
doi = {10.3233/FI-2019-1836},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/KhomenkoKPR19.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/fsen/KhakpourKS19,
author = {Narges Khakpour and
Jetty Kleijn and
Marjan Sirjani},
editor = {Hossein Hojjat and
Mieke Massink},
title = {A Formal Model to Integrate Behavioral and Structural Adaptations
in Self-adaptive Systems},
booktitle = {Fundamentals of Software Engineering - 8th International Conference,
{FSEN} 2019, Tehran, Iran, May 1-3, 2019, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11761},
pages = {3--19},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-31517-7\_1},
doi = {10.1007/978-3-030-31517-7\_1},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fsen/KhakpourKS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/JanickiKM18,
author = {Ryszard Janicki and
Jetty Kleijn and
Lukasz Mikulski},
title = {A Precise Characterisation of Step Traces and Their Concurrent Histories},
journal = {Sci. Ann. Comput. Sci.},
volume = {28},
number = {2},
pages = {237--267},
year = {2018},
url = {http://www.info.uaic.ro/bin/Annals/Article?v=XXVIII2\&\#38;a=3},
timestamp = {Tue, 01 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cuza/JanickiKM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/KwantesK18,
author = {Pieter M. Kwantes and
Jetty Kleijn},
editor = {Wil M. P. van der Aalst and
Robin Bergenthum and
Josep Carmona},
title = {On the Synthesis of Industry Level Process Models from Enterprise
Level Process Models},
booktitle = {Proceedings of the International Workshop on Algorithms {\&} Theories
for the Analysis of Event Data 2018 Satellite event of the conferences:
39th International Conference on Application and Theory of Petri Nets
and Concurrency Petri Nets 2018 and 18th International Conference
on Application of Concurrency to System Design {ACSD} 2018, Bratislava,
Slovakia, June 25, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2115},
pages = {6--22},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2115/ATAED2018-6-22.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:38 +0100},
biburl = {https://dblp.org/rec/conf/apn/KwantesK18.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}
}
@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/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/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}
}
@inproceedings{DBLP:conf/coordination/BeekCHK17,
author = {Maurice H. ter Beek and
Josep Carmona and
Rolf Hennicker and
Jetty Kleijn},
editor = {Jean{-}Marie Jacquet and
Mieke Massink},
title = {Communication Requirements for Team Automata},
booktitle = {Coordination Models and Languages - 19th {IFIP} {WG} 6.1 International
Conference, {COORDINATION} 2017, Held as Part of the 12th International
Federated Conference on Distributed Computing Techniques, DisCoTec
2017, Neuch{\^{a}}tel, Switzerland, June 19-22, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10319},
pages = {256--277},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-59746-1\_14},
doi = {10.1007/978-3-319-59746-1\_14},
timestamp = {Thu, 09 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/coordination/BeekCHK17.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/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/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/isola/BeekCK16,
author = {Maurice H. ter Beek and
Josep Carmona and
Jetty Kleijn},
editor = {Tiziana Margaria and
Bernhard Steffen},
title = {Conditions for Compatibility of Components - The Case of Masters and
Slaves},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation:
Foundational Techniques - 7th International Symposium, ISoLA 2016,
Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {9952},
pages = {784--805},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-47166-2\_55},
doi = {10.1007/978-3-319-47166-2\_55},
timestamp = {Thu, 09 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isola/BeekCK16.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/computation/CarvalhoHKV15,
author = {Rafael V. Carvalho and
Jeroen van den Heuvel and
Jetty Kleijn and
Fons J. Verbeek},
title = {Coupling of Petri Net Models of the Mycobacterial Infection Process
and Innate Immune Response},
journal = {Comput.},
volume = {3},
number = {2},
pages = {150--176},
year = {2015},
url = {https://doi.org/10.3390/computation3020150},
doi = {10.3390/COMPUTATION3020150},
timestamp = {Thu, 01 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computation/CarvalhoHKV15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/ColomDK15,
author = {Jos{\'{e}} Manuel Colom and
J{\"{o}}rg Desel and
Jetty Kleijn},
title = {Preface},
journal = {Fundam. Informaticae},
volume = {137},
number = {1},
year = {2015},
url = {https://doi.org/10.3233/FI-2015-1167},
doi = {10.3233/FI-2015-1167},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/ColomDK15.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/gg/KwantesGKR15,
author = {Pieter M. Kwantes and
Pieter Van Gorp and
Jetty Kleijn and
Arend Rensink},
editor = {Francesco Parisi{-}Presicce and
Bernhard Westfechtel},
title = {Towards Compliance Verification Between Global and Local Process Models},
booktitle = {Graph Transformation - 8th International Conference, {ICGT} 2015,
Held as Part of {STAF} 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9151},
pages = {221--236},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-21145-9\_14},
doi = {10.1007/978-3-319-21145-9\_14},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gg/KwantesGKR15.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}
}
@article{DBLP:journals/ercim/BeekCK15,
author = {Maurice H. ter Beek and
Josep Carmona and
Jetty Kleijn},
title = {Communication and Compatibility in Systems of Systems: Correctness-by-Construction},
journal = {{ERCIM} News},
volume = {2015},
number = {102},
year = {2015},
url = {http://ercim-news.ercim.eu/en102/special/communication-and-compatibility-in-systems-of-systems-correctness-by-construction},
timestamp = {Thu, 09 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ercim/BeekCK15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/HaddadKP14,
author = {Serge Haddad and
Jetty Kleijn and
Lucia Pomello},
title = {Preface},
journal = {Fundam. Informaticae},
volume = {131},
number = {1},
year = {2014},
url = {https://doi.org/10.3233/FI-2014-1001},
doi = {10.3233/FI-2014-1001},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/HaddadKP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jalc/BeekK14,
author = {Maurice H. ter Beek and
Jetty Kleijn},
title = {On Distributed Cooperation and Synchronised Collaboration},
journal = {J. Autom. Lang. Comb.},
volume = {19},
number = {1-4},
pages = {17--32},
year = {2014},
url = {https://doi.org/10.25596/jalc-2014-017},
doi = {10.25596/JALC-2014-017},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jalc/BeekK14.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/apn/CarvalhoKV14,
author = {Rafael V. Carvalho and
Jetty Kleijn and
Fons J. Verbeek},
editor = {Monika Heiner},
title = {A multi-scale extensive Petri net model of the bacterial-macrophage
interaction},
booktitle = {Proceedings of the 5th International Workshop on Biological Processes
{\&} Petri Nets co-located with 35th International Conference
on Application and Theory of Petri Nets and Concurreny {(PETRI} {NETS}
2014), Tunis, Tunisia, June 23, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1159},
pages = {15--29},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1159/paper3.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:38 +0100},
biburl = {https://dblp.org/rec/conf/apn/CarvalhoKV14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BeekK14,
author = {Maurice H. ter Beek and
Jetty Kleijn},
editor = {Gheorghe Paun and
Grzegorz Rozenberg and
Arto Salomaa},
title = {Shuffles and Synchronized Shuffles: {A} Survey},
booktitle = {Discrete Mathematics and Computer Science. In Memoriam Alexandru Mateescu
{(1952-2005)}},
pages = {37--50},
publisher = {The Publishing House of the Romanian Academy},
year = {2014},
timestamp = {Fri, 23 Jan 2015 14:35:08 +0100},
biburl = {https://dblp.org/rec/conf/birthday/BeekK14.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/tcs/CarmonaK13,
author = {Josep Carmona and
Jetty Kleijn},
title = {Compatibility in a multi-component environment},
journal = {Theor. Comput. Sci.},
volume = {484},
pages = {1--15},
year = {2013},
url = {https://doi.org/10.1016/j.tcs.2013.03.006},
doi = {10.1016/J.TCS.2013.03.006},
timestamp = {Thu, 09 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/CarmonaK13.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/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}
}
@article{DBLP:journals/cmmm/CarvalhoKMV12,
author = {Rafael V. Carvalho and
Jetty Kleijn and
Annemarie H. Meijer and
Fons J. Verbeek},
title = {Modeling Innate Immune Response to Early \emph{Mycobacterium} Infection},
journal = {Comput. Math. Methods Medicine},
volume = {2012},
pages = {790482:1--790482:12},
year = {2012},
url = {https://doi.org/10.1155/2012/790482},
doi = {10.1155/2012/790482},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cmmm/CarvalhoKMV12.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/BeekK12,
author = {Maurice H. ter Beek and
Jetty Kleijn},
title = {Vector team automata},
journal = {Theor. Comput. Sci.},
volume = {429},
pages = {21--29},
year = {2012},
url = {https://doi.org/10.1016/j.tcs.2011.12.020},
doi = {10.1016/J.TCS.2011.12.020},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BeekK12.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/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}
}
@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: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/acsd/2010w,
editor = {Susanna Donatelli and
Jetty Kleijn and
Ricardo Jorge Machado and
Jo{\~{a}}o M. Fernandes},
title = {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},
publisher = {CEUR-WS.org},
year = {2012},
url = {https://ceur-ws.org/Vol-827},
urn = {urn:nbn:de:0074-827-8},
timestamp = {Wed, 09 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/acsd/2010w.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/topnoc/2012-5,
editor = {Kurt Jensen and
Susanna Donatelli and
Jetty Kleijn},
title = {Transactions on Petri Nets and Other Models of Concurrency {V}},
series = {Lecture Notes in Computer Science},
volume = {6900},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-29072-5},
doi = {10.1007/978-3-642-29072-5},
isbn = {978-3-642-29071-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/topnoc/2012-5.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/topnoc/2012-6,
editor = {Kurt Jensen and
Wil M. P. van der Aalst and
Marco Ajmone Marsan and
Giuliana Franceschinis and
Jetty Kleijn and
Lars Michael Kristensen},
title = {Transactions on Petri Nets and Other Models of Concurrency {VI}},
series = {Lecture Notes in Computer Science},
volume = {7400},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-35179-2},
doi = {10.1007/978-3-642-35179-2},
isbn = {978-3-642-35178-5},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/topnoc/2012-6.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}
}
@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}
}
@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}
}
@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/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}
}
@article{DBLP:journals/fuin/BeekK09,
author = {Maurice H. ter Beek and
Jetty Kleijn},
title = {Associativity of Infinite Synchronized Shuffles and Team Automata},
journal = {Fundam. Informaticae},
volume = {91},
number = {3-4},
pages = {437--461},
year = {2009},
url = {https://doi.org/10.3233/FI-2009-0051},
doi = {10.3233/FI-2009-0051},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/BeekK09.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}
}
@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}
}
@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}
}
@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}
}
@article{DBLP:journals/tcs/BeekK07,
author = {Maurice H. ter Beek and
Jetty Kleijn},
title = {Infinite unfair shuffles and associativity},
journal = {Theor. Comput. Sci.},
volume = {380},
number = {3},
pages = {401--410},
year = {2007},
url = {https://doi.org/10.1016/j.tcs.2007.03.030},
doi = {10.1016/J.TCS.2007.03.030},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BeekK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apn/2007,
editor = {Jetty Kleijn and
Alexandre Yakovlev},
title = {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},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73094-1},
doi = {10.1007/978-3-540-73094-1},
isbn = {978-3-540-73093-4},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/2007.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/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/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:journals/entcs/ChothiaK07,
author = {Tom Chothia and
Jetty Kleijn},
editor = {Carlos Canal and
Mirko Viroli},
title = {Q-Automata: Modelling the Resource Usage of Concurrent Components},
booktitle = {Proceedings of the Fifth International Workshop on the Foundations
of Coordination Languages and Software Architectures, {FOCLASA} 2006,
Bonn, Germany, August 31, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {175},
number = {2},
pages = {153--167},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2007.03.009},
doi = {10.1016/J.ENTCS.2007.03.009},
timestamp = {Tue, 06 Dec 2022 11:55:06 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ChothiaK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/BeekK05,
author = {Maurice H. ter Beek and
Jetty Kleijn},
title = {Modularity for teams of {I/O} automata},
journal = {Inf. Process. Lett.},
volume = {95},
number = {5},
pages = {487--495},
year = {2005},
url = {https://doi.org/10.1016/j.ipl.2005.05.012},
doi = {10.1016/J.IPL.2005.05.012},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/BeekK05.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}
}
@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/cscw/BeekEKR03,
author = {Maurice H. ter Beek and
Clarence A. Ellis and
Jetty Kleijn and
Grzegorz Rozenberg},
title = {Synchronizations in Team Automata for Groupware Systems},
journal = {Comput. Support. Cooperative Work.},
volume = {12},
number = {1},
pages = {21--69},
year = {2003},
url = {https://doi.org/10.1023/A:1022407907596},
doi = {10.1023/A:1022407907596},
timestamp = {Fri, 05 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cscw/BeekEKR03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dfg/Kleijn03,
author = {Jetty Kleijn},
editor = {Hartmut Ehrig and
Wolfgang Reisig and
Grzegorz Rozenberg and
Herbert Weber},
title = {Team Automata for {CSCW} - {A} Survey},
booktitle = {Petri Net Technology for Communication-Based Systems - Advances in
Petri Nets},
series = {Lecture Notes in Computer Science},
volume = {2472},
pages = {295--320},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-40022-6\_15},
doi = {10.1007/978-3-540-40022-6\_15},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/dfg/Kleijn03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/BeekK03,
author = {Maurice H. ter Beek and
Jetty Kleijn},
editor = {Keijiro Araki and
Stefania Gnesi and
Dino Mandrioli},
title = {Team Automata Satisfying Compositionality},
booktitle = {{FME} 2003: Formal Methods, International Symposium of Formal Methods
Europe, Pisa, Italy, September 8-14, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2805},
pages = {381--400},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45236-2\_22},
doi = {10.1007/978-3-540-45236-2\_22},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/BeekK03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BeekK02,
author = {Maurice H. ter Beek and
H. C. M. Kleijn},
editor = {Wilfried Brauer and
Hartmut Ehrig and
Juhani Karhum{\"{a}}ki and
Arto Salomaa},
title = {Petri Net Control for Grammar Systems},
booktitle = {Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg
[on occasion of his 60th birthday, March 14, 2002]},
series = {Lecture Notes in Computer Science},
volume = {2300},
pages = {220--243},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45711-9\_13},
doi = {10.1007/3-540-45711-9\_13},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BeekK02.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/ecscw/BeekEKR01,
author = {Maurice H. ter Beek and
Clarence A. Ellis and
Jetty Kleijn and
Grzegorz Rozenberg},
editor = {Wolfgang Prinz and
Matthias Jarke and
Yvonne Rogers and
Kjeld Schmidt and
Volker Wulf},
title = {Team automata for spatial access control},
booktitle = {Proceedings of the Seventh European Conference on Computer Supported
Cooperative Work, 16-20 September 2001, Bonn, Germany},
pages = {59--78},
publisher = {Kluwer},
year = {2001},
url = {https://doi.org/10.1007/0-306-48019-0\_4},
doi = {10.1007/0-306-48019-0\_4},
timestamp = {Mon, 16 Sep 2019 15:23:32 +0200},
biburl = {https://dblp.org/rec/conf/ecscw/BeekEKR01.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/fct/KleijnMR99,
author = {H. C. M. Kleijn and
R{\'{e}}mi Morin and
Brigitte Rozoy},
editor = {Gabriel Ciobanu and
Gheorghe Paun},
title = {A General Categorical Connection between Local Event Structures and
Local Traces},
booktitle = {Fundamentals of Computation Theory, 12th International Symposium,
{FCT} '99, Iasi, Romania, August 30 - September 3, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1684},
pages = {338--349},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48321-7\_28},
doi = {10.1007/3-540-48321-7\_28},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/fct/KleijnMR99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/apn/1999,
editor = {Susanna Donatelli and
H. C. M. Kleijn},
title = {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},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48745-X},
doi = {10.1007/3-540-48745-X},
isbn = {3-540-66132-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/apn/1999.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KleijnMR98,
author = {H. C. M. Kleijn and
R{\'{e}}mi Morin and
Brigitte Rozoy},
editor = {Ilaria Castellani and
Catuscia Palamidessi},
title = {Event Structures for Local Traces},
booktitle = {Fifth International Workshop on Expressiveness in Concurrency, {EXPRESS}
1998, Satellite Workshop of {CONCUR} 1998, Nice, France, September
7, 1998},
series = {Electronic Notes in Theoretical Computer Science},
volume = {16},
number = {2},
pages = {98--113},
publisher = {Elsevier},
year = {1998},
url = {https://doi.org/10.1016/S1571-0661(04)00120-3},
doi = {10.1016/S1571-0661(04)00120-3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/KleijnMR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/KeesmaatK97,
author = {N. W. Keesmaat and
H. C. M. Kleijn},
title = {Net-Based Control Versus Rational Control. The Relation Between {ITNC}
Vector Languages and Rational Relations},
journal = {Acta Informatica},
volume = {34},
number = {1},
pages = {23--57},
year = {1997},
url = {https://doi.org/10.1007/s002360050072},
doi = {10.1007/S002360050072},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/KeesmaatK97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KeesmaatK97,
author = {N. W. Keesmaat and
H. C. M. Kleijn},
title = {Restrictions and Representations of Vector Controlled Concurrent System
Behaviours},
journal = {Theor. Comput. Sci.},
volume = {179},
number = {1-2},
pages = {61--102},
year = {1997},
url = {https://doi.org/10.1016/S0304-3975(96)00105-3},
doi = {10.1016/S0304-3975(96)00105-3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/KeesmaatK97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/HoogersKT96,
author = {P. W. Hoogers and
H. C. M. Kleijn and
P. S. Thiagarajan},
title = {An Event Structure Semantics for General Petri Nets},
journal = {Theor. Comput. Sci.},
volume = {153},
number = {1{\&}2},
pages = {129--170},
year = {1996},
url = {https://doi.org/10.1016/0304-3975(95)00120-4},
doi = {10.1016/0304-3975(95)00120-4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/HoogersKT96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/HoogersKT95,
author = {P. W. Hoogers and
H. C. M. Kleijn and
P. S. Thiagarajan},
title = {A Trace Semantics for Petri Nets},
journal = {Inf. Comput.},
volume = {117},
number = {1},
pages = {98--114},
year = {1995},
url = {https://doi.org/10.1006/inco.1995.1032},
doi = {10.1006/INCO.1995.1032},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/HoogersKT95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/HarjuKK94,
author = {Tero Harju and
N. W. Keesmaat and
H. C. M. Kleijn},
title = {The Intersection Problem for Alphabetic Vector Monoids},
journal = {{RAIRO} Theor. Informatics Appl.},
volume = {28},
number = {3-4},
pages = {295--301},
year = {1994},
url = {https://doi.org/10.1051/ita/1994283-402951},
doi = {10.1051/ITA/1994283-402951},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ita/HarjuKK94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/HarjuKLT94,
author = {Tero Harju and
H. C. M. Kleijn and
Michel Latteux and
Alain Terlutte},
title = {Representation of Rational Functions with Prefix and Suffix Codings},
journal = {Theor. Comput. Sci.},
volume = {134},
number = {2},
pages = {403--413},
year = {1994},
url = {https://doi.org/10.1016/0304-3975(94)90245-3},
doi = {10.1016/0304-3975(94)90245-3},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/HarjuKLT94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/HarjuHK94,
author = {Tero Harju and
Hendrik Jan Hoogeboom and
H. C. M. Kleijn},
editor = {Juhani Karhum{\"{a}}ki and
Hermann A. Maurer and
Grzegorz Rozenberg},
title = {Identities and Transductions},
booktitle = {Results and Trends in Theoretical Computer Science, Colloquium in
Honor of Arto Salomaa, Graz, Austria, June 10-11, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {812},
pages = {140--144},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58131-6\_43},
doi = {10.1007/3-540-58131-6\_43},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/HarjuHK94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/HarjuK93,
author = {Tero Harju and
H. C. M. Kleijn},
title = {Morphisms and rational tranducers},
journal = {Bull. {EATCS}},
volume = {51},
pages = {168--180},
year = {1993},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eatcs/HarjuK93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/HoogersKT93,
author = {P. W. Hoogers and
H. C. M. Kleijn and
P. S. Thiagarajan},
editor = {Eike Best},
title = {Local Event Structures and Petri Nets},
booktitle = {{CONCUR} '93, 4th International Conference on Concurrency Theory,
Hildesheim, Germany, August 23-26, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {715},
pages = {462--476},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57208-2\_32},
doi = {10.1007/3-540-57208-2\_32},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/HoogersKT93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/HarjuKL92,
author = {Tero Harju and
H. C. M. Kleijn and
Michel Latteux},
title = {Deterministic Sequential Functions},
journal = {Acta Informatica},
volume = {29},
number = {6/7},
pages = {545--554},
year = {1992},
url = {https://doi.org/10.1007/BF01185560},
doi = {10.1007/BF01185560},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/acta/HarjuKL92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/HarjuKL92,
author = {Tero Harju and
H. C. M. Kleijn and
Michel Latteux},
title = {Compositional representation of rational functions},
journal = {{RAIRO} Theor. Informatics Appl.},
volume = {26},
pages = {243--255},
year = {1992},
url = {https://doi.org/10.1051/ita/1992260302431},
doi = {10.1051/ITA/1992260302431},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ita/HarjuKL92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/HoogersKT92,
author = {P. W. Hoogers and
H. C. M. Kleijn and
P. S. Thiagarajan},
editor = {Werner Kuich},
title = {A Trace Semantics for Petri Nets (Extended Abstract)},
booktitle = {Automata, Languages and Programming, 19th International Colloquium,
ICALP92, Vienna, Austria, July 13-17, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {623},
pages = {595--604},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55719-9\_107},
doi = {10.1007/3-540-55719-9\_107},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/HoogersKT92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/apn/KeesmaatK92,
author = {N. W. Keesmaat and
H. C. M. Kleijn},
editor = {Grzegorz Rozenberg},
title = {The effect of vector synchronization: residue and loss},
booktitle = {Advances in Petri Nets 1992, The {DEMON} Project},
series = {Lecture Notes in Computer Science},
volume = {609},
pages = {215--250},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55610-9\_173},
doi = {10.1007/3-540-55610-9\_173},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/KeesmaatK92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dam/HarjuK91,
author = {Tero Harju and
H. C. M. Kleijn},
title = {Decidability problems for unary output sequential transducers},
journal = {Discret. Appl. Math.},
volume = {32},
number = {2},
pages = {131--140},
year = {1991},
url = {https://doi.org/10.1016/0166-218X(91)90096-F},
doi = {10.1016/0166-218X(91)90096-F},
timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dam/HarjuK91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/KeesmaatKR91,
author = {N. W. Keesmaat and
H. C. M. Kleijn and
Grzegorz Rozenberg},
title = {Vector controlled concurrent systems, part {II:} comparisons},
journal = {Fundam. Informaticae},
volume = {14},
number = {1},
pages = {1--38},
year = {1991},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/KeesmaatKR91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/HarjuK89,
author = {Tero Harju and
H. C. M. Kleijn},
title = {Cardinality Problems of Composition of Morphisms and Inverse Morphisms},
journal = {Math. Syst. Theory},
volume = {22},
number = {3},
pages = {151--159},
year = {1989},
url = {https://doi.org/10.1007/BF02088295},
doi = {10.1007/BF02088295},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/mst/HarjuK89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eik/HorvathKK87,
author = {S{\'{a}}ndor Horv{\'{a}}th and
Juhani Karhum{\"{a}}ki and
Jetty Kleijn},
title = {Results Concerning Palindromicity},
journal = {J. Inf. Process. Cybern.},
volume = {23},
number = {8/9},
pages = {441--451},
year = {1987},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eik/HorvathKK87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dam/HarjuKK86,
author = {Tero Harju and
Juhani Karhum{\"{a}}ki and
H. C. M. Kleijn},
title = {On morphic generation of regular languages},
journal = {Discret. Appl. Math.},
volume = {15},
number = {1},
pages = {55--60},
year = {1986},
url = {https://doi.org/10.1016/0166-218X(86)90018-1},
doi = {10.1016/0166-218X(86)90018-1},
timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dam/HarjuKK86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imycs/Kleijn86,
author = {H. C. M. Kleijn},
editor = {Alica Kelemenov{\'{a}} and
Jozef Kelemen},
title = {Basic ideas of selective substitution grammars},
booktitle = {Trends, Techniques, and Problems in Theoretical Computer Science,
4th International Meeting of Young Computer Scientists, Smolenice,
Czechoslovakia, October 13-17, 1986, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {281},
pages = {75--95},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3540185356\_32},
doi = {10.1007/3540185356\_32},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/imycs/Kleijn86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ita/KarhumakiK85,
author = {Juhani Karhum{\"{a}}ki and
H. C. M. Kleijn},
title = {On the Equivalence of Compositions of Morphisms and Inverse Morphisms
on Regular Languages},
journal = {{RAIRO} Theor. Informatics Appl.},
volume = {19},
number = {3},
pages = {203--211},
year = {1985},
url = {https://doi.org/10.1051/ita/1985190302031},
doi = {10.1051/ITA/1985190302031},
timestamp = {Mon, 25 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ita/KarhumakiK85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/EhrenfeuchtKR85,
author = {Andrzej Ehrenfeucht and
H. C. M. Kleijn and
Grzegorz Rozenberg},
title = {Adding Global Forbidding Context to Context-Free Grammars},
journal = {Theor. Comput. Sci.},
volume = {37},
pages = {337--360},
year = {1985},
url = {https://doi.org/10.1016/0304-3975(85)90096-9},
doi = {10.1016/0304-3975(85)90096-9},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/EhrenfeuchtKR85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/KleijnPRS84,
author = {H. C. M. Kleijn and
Martti Penttonen and
Grzegorz Rozenberg and
Kai Salomaa},
title = {Direction Independent Context-Sensitive Grammars},
journal = {Inf. Control.},
volume = {63},
number = {1/2},
pages = {113--117},
year = {1984},
url = {https://doi.org/10.1016/S0019-9958(84)80044-3},
doi = {10.1016/S0019-9958(84)80044-3},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/KleijnPRS84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/KarhumakiK84,
author = {Juhani Karhum{\"{a}}ki and
H. C. M. Kleijn},
editor = {Michal Chytil and
V{\'{a}}clav Koubek},
title = {On the Equivalence of Compositions of Morphisms and Inverse Morphisms
on Regular Languages},
booktitle = {Mathematical Foundations of Computer Science 1984, Praha, Czechoslovakia,
September 3-7, 1984, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {176},
pages = {355--363},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/BFb0030317},
doi = {10.1007/BFB0030317},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/KarhumakiK84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/KleijnR83,
author = {H. C. M. Kleijn and
Grzegorz Rozenberg},
title = {On the Generative Power of Regular Pattern Grammars},
journal = {Acta Informatica},
volume = {20},
pages = {391--411},
year = {1983},
url = {https://doi.org/10.1007/BF00264281},
doi = {10.1007/BF00264281},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/KleijnR83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/actaC/GonczarowskiKR84,
author = {Jakob Gonczarowski and
H. C. M. Kleijn and
Grzegorz Rozenberg},
title = {Grammatical constructions in selective substitution grammars},
journal = {Acta Cybern.},
volume = {6},
number = {3},
pages = {239--269},
year = {1983},
url = {https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3256},
timestamp = {Wed, 16 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/actaC/GonczarowskiKR84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/actaC/KleijnRV82,
author = {H. C. M. Kleijn and
Grzegorz Rozenberg and
R. Verraedt},
title = {On the role of blocking in rewriting systems},
journal = {Acta Cybern.},
volume = {5},
number = {4},
pages = {389--408},
year = {1982},
url = {https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3226},
timestamp = {Wed, 16 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/actaC/KleijnRV82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/KleijnR82,
author = {H. C. M. Kleijn and
Grzegorz Rozenberg},
title = {Corrigendum: Sequential, Continuous and Parallel Grammars},
journal = {Inf. Control.},
volume = {52},
number = {3},
pages = {364},
year = {1982},
url = {https://doi.org/10.1016/S0019-9958(82)90826-9},
doi = {10.1016/S0019-9958(82)90826-9},
timestamp = {Mon, 18 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/KleijnR82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/KleijnR81,
author = {H. C. M. Kleijn and
Grzegorz Rozenberg},
title = {Sequential, Continuous and Parallel Grammars},
journal = {Inf. Control.},
volume = {48},
number = {3},
pages = {221--260},
year = {1981},
url = {https://doi.org/10.1016/S0019-9958(81)90657-4},
doi = {10.1016/S0019-9958(81)90657-4},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/KleijnR81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KleijnR81,
author = {H. C. M. Kleijn and
Grzegorz Rozenberg},
title = {Context-Free Like Restrictions on Selective Rewriting},
journal = {Theor. Comput. Sci.},
volume = {16},
pages = {237--269},
year = {1981},
url = {https://doi.org/10.1016/0304-3975(81)90097-9},
doi = {10.1016/0304-3975(81)90097-9},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/KleijnR81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/KleijnR81,
author = {H. C. M. Kleijn and
Grzegorz Rozenberg},
editor = {Ferenc G{\'{e}}cseg},
title = {On the Role of Selectors in Selective Substitution Grammars},
booktitle = {Fundamentals of Computation Theory, FCT'81, Proceedings of the 1981
International FCT-Conference, Szeged, Hungary, August 24-28, 1981},
series = {Lecture Notes in Computer Science},
volume = {117},
pages = {190--198},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10854-8\_20},
doi = {10.1007/3-540-10854-8\_20},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/fct/KleijnR81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/KleijnR81,
author = {H. C. M. Kleijn and
Grzegorz Rozenberg},
editor = {Jozef Gruska and
Michal Chytil},
title = {A General Framework for Comparing Sequential and Parallel Rewriting},
booktitle = {Mathematical Foundations of Computer Science 1981, Strbske Pleso,
Czechoslovakia, August 31 - September 4, 1981, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {118},
pages = {360--368},
publisher = {Springer},
year = {1981},
url = {https://doi.org/10.1007/3-540-10856-4\_103},
doi = {10.1007/3-540-10856-4\_103},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/KleijnR81.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/KleijnR80,
author = {H. C. M. Kleijn and
Grzegorz Rozenberg},
title = {A Study in Parallel Rewriting Systems},
journal = {Inf. Control.},
volume = {44},
number = {2},
pages = {134--163},
year = {1980},
url = {https://doi.org/10.1016/S0019-9958(80)90066-2},
doi = {10.1016/S0019-9958(80)90066-2},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/KleijnR80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-21 17:27 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
