Jetty Kleijn

Publication Activity (10 Years)

Years Active: 1987-2024
Publications (10 Years): 33

Top Topics

Differential Equations

Synchronous Communication

Top Venues

Fundam. Informaticae

Theor. Comput. Sci.

ATAED@Petri Nets/ACSD

Publications

Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski
Relational Structures for Interval Order Semantics of Concurrent Systems. Petri Nets (2024)
Daniela Genova, Hendrik Jan Hoogeboom, Jetty Kleijn
Functional equivalence and a cover relation for reaction systems. Theor. Comput. Sci. 1004 (2024)
Luca Bernardinello, Jetty Kleijn, Laure Petrucci
Preface. Fundam. Informaticae 190 (2-4) (2024)
Sebastian Fajardo, Jetty Kleijn, Frank W. Takes, Geeske H. J. Langejans
Modelling and measuring complexity of traditional and ancient technologies using Petri nets. CoRR (2022)
Pieter M. Kwantes, Jetty Kleijn
Distributed Synthesis of Asynchronously Communicating Distributed Process Models. Trans. Petri Nets Other Model. Concurr. 16 (2022)
Didier Buchs, Josep Carmona, Jetty Kleijn
Preface. Fundam. Informaticae 187 (2-4) (2022)
Daniela Genova, Hendrik Jan Hoogeboom, Jetty Kleijn
Comparing reactions in reaction systems. Theor. Comput. Sci. 881 (2021)
Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski
Relational structures for concurrent behaviours. Theor. Comput. Sci. 862 (2021)
Maurice H. ter Beek, Rolf Hennicker, Jetty Kleijn
Compositionality of Safe Communication in Systems of Team Automata. ICTAC (2020)
Maurice H. ter Beek, Rolf Hennicker, Jetty Kleijn
Team Automata@Work: On Safe Communication. COORDINATION (2020)
Jetty Kleijn, Laurentiu Leustean, Dorel Lucanu
Preface. Fundam. Informaticae 173 (2-3) (2020)
Jetty Kleijn, Maciej Koutny, Lukasz Mikulski
Reaction Systems and Enabling Equivalence. Fundam. Informaticae 171 (1-4) (2020)
Jetty Kleijn, Maciej Koutny, Grzegorz Rozenberg
Plug-in context providers for reaction systems. Theor. Comput. Sci. 834 (2020)
Pieter M. Kwantes, Jetty Kleijn
On Discovering Distributed Process Models the case of asynchronous communication. ATAED@Petri Nets (2020)
Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski
Classifying invariant structures of step traces. J. Comput. Syst. Sci. 104 (2019)
Narges Khakpour, Jetty Kleijn, Marjan Sirjani
A Formal Model to Integrate Behavioral and Structural Adaptations in Self-adaptive Systems. FSEN (2019)
Victor Khomenko, Jetty Kleijn, Wojciech Penczek, Olivier H. Roux
Preface. Fundam. Informaticae 169 (1-2) (2019)
Ryszard Janicki, Jetty Kleijn, Lukasz Mikulski
A Precise Characterisation of Step Traces and Their Concurrent Histories. Sci. Ann. Comput. Sci. 28 (2) (2018)
Jetty Kleijn, Maciej Koutny, Lukasz Mikulski, Grzegorz Rozenberg
Reaction Systems, Transition Systems, and Equivalences. Adventures Between Lower Bounds and Higher Altitudes (2018)
Pieter M. Kwantes, Jetty Kleijn
On the Synthesis of Industry Level Process Models from Enterprise Level Process Models. ATAED@Petri Nets/ACSD (2018)
Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny
Adding A/Sync Places to the Synthesis Procedure for Whole-Place Operations Nets with Localities. Sci. Ann. Comput. Sci. 27 (2) (2017)
Bogdan Aman, Jetty Kleijn, Maciej Koutny, Dorel Lucanu
Methods for Distributed and Concurrent Systems: Special Issue on the occasion of the 60th Birthday of Professor Gabriel Ciobanu. Fundam. Informaticae 153 (1-2) (2017)
Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski
On Synthesising Step Alphabets for Acyclic Invariant Structures. ATAED@Petri Nets/ACSD (2017)
Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski
Alphabets of Acyclic Invariant Structures. Fundam. Informaticae 154 (1-4) (2017)
Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny, Grzegorz Rozenberg
Applying regions. Theor. Comput. Sci. 658 (2017)
Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny
Signal set tissue systems and overlapping localities. Theor. Comput. Sci. 701 (2017)
Maurice H. ter Beek, Josep Carmona, Rolf Hennicker, Jetty Kleijn
Communication Requirements for Team Automata. COORDINATION (2017)
Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski
Invariant Structures and Dependence Relations. Fundam. Informaticae 155 (1-2) (2017)
Andrzej Ehrenfeucht, Jetty Kleijn, Maciej Koutny, Grzegorz Rozenberg
Evolving reaction systems. Theor. Comput. Sci. 682 (2017)
Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny
Synthesis of Petri Nets with Whole-Place Operations and Localities. ICTAC (2016)
Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski
Step traces. Acta Informatica 53 (1) (2016)
Maurice H. ter Beek, Josep Carmona, Jetty Kleijn
Conditions for Compatibility of Components - The Case of Masters and Slaves. ISoLA (1) (2016)
Laura M. F. Bertens, Jetty Kleijn, Sander C. Hille, Monika Heiner, Maciej Koutny, Fons J. Verbeek
Modeling biological gradient formation: combining partial differential equations and Petri nets. Nat. Comput. 15 (4) (2016)
Maurice H. ter Beek, Josep Carmona, Jetty Kleijn
Communication and Compatibility in Systems of Systems: Correctness-by-Construction. ERCIM News 2015 (102) (2015)
Rafael V. Carvalho, Jeroen van den Heuvel, Jetty Kleijn, Fons J. Verbeek
Coupling of Petri Net Models of the Mycobacterial Infection Process and Innate Immune Response. Comput. 3 (2) (2015)
José Manuel Colom, Jörg Desel, Jetty Kleijn
Preface. Fundam. Informaticae 137 (1) (2015)
Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski
Characterising Concurrent Histories. Fundam. Informaticae 139 (1) (2015)
Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski
Order Structures for Subclasses of Generalised Traces. LATA (2015)
Pieter M. Kwantes, Pieter Van Gorp, Jetty Kleijn, Arend Rensink
Towards Compliance Verification Between Global and Local Process Models. ICGT (2015)
Rafael V. Carvalho, Jetty Kleijn, Fons J. Verbeek
A multi-scale extensive Petri net model of the bacterial-macrophage interaction. BioPPN@Petri Nets (2014)
Maurice H. ter Beek, Jetty Kleijn
Shuffles and Synchronized Shuffles: A Survey. Discrete Mathematics and Computer Science (2014)
Maurice H. ter Beek, Jetty Kleijn
On Distributed Cooperation and Synchronised Collaboration. J. Autom. Lang. Comb. 19 (1-4) (2014)
Serge Haddad, Jetty Kleijn, Lucia Pomello
Preface. Fundam. Informaticae 131 (1) (2014)
Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny
Tissue Systems and Petri Net Synthesis. Trans. Petri Nets Other Model. Concurr. 9 (2014)
Jetty Kleijn, Maciej Koutny
Causality in Extensions of Petri Nets. Trans. Petri Nets Other Model. Concurr. 7 (2013)
Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny, Grzegorz Rozenberg
Step semantics of boolean nets. Acta Informatica 50 (1) (2013)
Josep Carmona, Jetty Kleijn
Compatibility in a multi-component environment. Theor. Comput. Sci. 484 (2013)
Jetty Kleijn, Maciej Koutny
Mutex Causality in Processes and Traces of General Elementary Nets. Fundam. Informaticae 122 (1-2) (2013)
Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski
Causal Structures for General Concurrent Behaviours. CS&P (2013)
Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny
Regions of Petri nets with a/sync connections. Theor. Comput. Sci. 454 (2012)
Jetty Kleijn, Maciej Koutny
Localities in systems with a/sync communication. Theor. Comput. Sci. 429 (2012)
Andrzej Ehrenfeucht, Jetty Kleijn, Maciej Koutny, Grzegorz Rozenberg
Relevance of Entities in Reaction Systems. Languages Alive (2012)
Maurice H. ter Beek, Jetty Kleijn
Vector team automata. Theor. Comput. Sci. 429 (2012)
Jetty Kleijn, Maciej Koutny
Step coverability algorithms for communicating systems. Sci. Comput. Program. 77 (7-8) (2012)
Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny, Grzegorz Rozenberg
Membrane Systems and Petri Net Synthesis MeCBIC (2012)
Andrzej Ehrenfeucht, Jetty Kleijn, Maciej Koutny, Grzegorz Rozenberg
Minimal Reaction Systems. Trans. Comp. Sys. Biology 14 (2012)
Rafael V. Carvalho, Jetty Kleijn, Annemarie H. Meijer, Fons J. Verbeek
Infection. Comput. Math. Methods Medicine 2012 (2012)
Jetty Kleijn, Maciej Koutny, Grzegorz Rozenberg
Petri Nets for Biologically Motivated Computing. Sci. Ann. Comput. Sci. 21 (2) (2011)
Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny, Grzegorz Rozenberg
Classifying Boolean Nets for Region-based Synthesis. ART @ Petri Nets (2011)
Jetty Kleijn, Maciej Koutny, Grzegorz Rozenberg
Petri Nets and Bio-Modelling - and how to benefit from their synergy CoRR (2011)
Jetty Kleijn, Maciej Koutny
Causality in Structured Occurrence Nets. Dependable and Historic Computing (2011)
Jetty Kleijn, Maciej Koutny
The Mutex Paradigm of Concurrency. Petri Nets (2011)
Jetty Kleijn, Maciej Koutny
Membrane Systems with Qualitative Evolution Rules. Fundam. Informaticae 110 (1-4) (2011)
Jetty Kleijn, Maciej Koutny
Petri Nets with Localities and Testing. Petri Nets (2010)
Laura M. F. Bertens, Jetty Kleijn, Maciej Koutny, Fons J. Verbeek
Modelling Gradients using Petri Nets. ACSD/Petri Nets Workshops (2010)
Jetty Kleijn, Maciej Koutny
Applying Step Coverability Trees to Communicating Component-Based Systems. FSEN (2009)
Maurice H. ter Beek, Jetty Kleijn
Associativity of Infinite Synchronized Shuffles and Team Automata. Fundam. Informaticae 91 (3-4) (2009)
Jetty Kleijn, Maciej Koutny
A Petri net model for membrane systems with dynamic structure. Nat. Comput. 8 (4) (2009)
Jetty Kleijn, Maciej Koutny
Processes of membrane systems with promoters and inhibitors. Theor. Comput. Sci. 404 (1-2) (2008)
Maurice H. ter Beek, Jetty Kleijn
Infinite unfair shuffles and associativity. Theor. Comput. Sci. 380 (3) (2007)
Jetty Kleijn, Maciej Koutny
Processes of Petri Nets with Range Testing. Fundam. Informaticae 80 (1-3) (2007)
Tom Chothia, Jetty Kleijn
Q-Automata: Modelling the Resource Usage of Concurrent Components. Electron. Notes Theor. Comput. Sci. 175 (2) (2007)
Jetty Kleijn, Maciej Koutny, Grzegorz Rozenberg
Process Semantics for Membrane Systems. J. Autom. Lang. Comb. 11 (3) (2006)
Jetty Kleijn, Maciej Koutny
Synchrony and Asynchrony in Membrane Systems. Workshop on Membrane Computing (2006)
Jetty Kleijn, Maciej Koutny, Grzegorz Rozenberg
Towards a Petri Net Semantics for Membrane Systems. Workshop on Membrane Computing (2005)
Maurice H. ter Beek, Jetty Kleijn
Modularity for teams of I/O automata. Inf. Process. Lett. 95 (5) (2005)
Maurice H. ter Beek, Clarence A. Ellis, Jetty Kleijn, Grzegorz Rozenberg
Synchronizations in Team Automata for Groupware Systems. Comput. Support. Cooperative Work. 12 (1) (2003)
Jetty Kleijn
Team Automata for CSCW - A Survey. Petri Net Technology for Communication-Based Systems (2003)
Maurice H. ter Beek, Jetty Kleijn
Team Automata Satisfying Compositionality. FME (2003)
Maurice H. ter Beek, Clarence A. Ellis, Jetty Kleijn, Grzegorz Rozenberg
Team automata for spatial access control. ECSCW (2001)
Sándor Horváth, Juhani Karhumäki, Jetty Kleijn
Results Concerning Palindromicity. J. Inf. Process. Cybern. 23 (8/9) (1987)