Jetty Kleijn

According to our database, Jetty Kleijn authored at least 121 papers between 1980 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Functional equivalence and a cover relation for reaction systems.

Daniela Genova, Hendrik Jan Hoogeboom, Jetty Kleijn

Theor. Comput. Sci., 2024

Preface.

Luca Bernardinello, Jetty Kleijn, Laure Petrucci

Fundam. Informaticae, 2024

Relational Structures for Interval Order Semantics of Concurrent Systems.

Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2024

2022

Paradigms of Concurrency - Observations, Behaviours, and Systems - a Petri Net View

Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski

Studies in Computational Intelligence 1020, Springer, ISBN: 978-3-662-64819-3, 2022

Distributed Synthesis of Asynchronously Communicating Distributed Process Models.

Pieter M. Kwantes, Jetty Kleijn

Trans. Petri Nets Other Model. Concurr., 2022

Preface.

Didier Buchs, Josep Carmona, Jetty Kleijn

Fundam. Informaticae, 2022

Modelling and measuring complexity of traditional and ancient technologies using Petri nets.

Sebastian Fajardo, Jetty Kleijn, Frank W. Takes, Geeske H. J. Langejans

CoRR, 2022

2021

Relational structures for concurrent behaviours.

Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski

Theor. Comput. Sci., 2021

Comparing reactions in reaction systems.

Daniela Genova, Hendrik Jan Hoogeboom, Jetty Kleijn

Theor. Comput. Sci., 2021

2020

Plug-in context providers for reaction systems.

Jetty Kleijn, Maciej Koutny, Grzegorz Rozenberg

Theor. Comput. Sci., 2020

Preface.

Jetty Kleijn, Laurentiu Leustean, Dorel Lucanu

Fundam. Informaticae, 2020

Reaction Systems and Enabling Equivalence.

Jetty Kleijn, Maciej Koutny, Lukasz Mikulski

Fundam. Informaticae, 2020

Compositionality of Safe Communication in Systems of Team Automata.

Maurice H. ter Beek, Rolf Hennicker, Jetty Kleijn

Proceedings of the Theoretical Aspects of Computing - ICTAC 2020 - 17th International Colloquium, Macau, China, November 30, 2020

Team Automata@Work: On Safe Communication.

Maurice H. ter Beek, Rolf Hennicker, Jetty Kleijn

Proceedings of the Coordination Models and Languages, 2020

On Discovering Distributed Process Models the case of asynchronous communication.

Pieter M. Kwantes, Jetty Kleijn

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, 2020

2019

Classifying invariant structures of step traces.

Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski

J. Comput. Syst. Sci., 2019

Preface.

Victor Khomenko, Jetty Kleijn, Wojciech Penczek, Olivier H. Roux

Fundam. Informaticae, 2019

A Formal Model to Integrate Behavioral and Structural Adaptations in Self-adaptive Systems.

Narges Khakpour, Jetty Kleijn, Marjan Sirjani

Proceedings of the Fundamentals of Software Engineering - 8th International Conference, 2019

2018

A Precise Characterisation of Step Traces and Their Concurrent Histories.

Ryszard Janicki, Jetty Kleijn, Lukasz Mikulski

Sci. Ann. Comput. Sci., 2018

Reaction Systems, Transition Systems, and Equivalences.

Jetty Kleijn, Maciej Koutny, Lukasz Mikulski, Grzegorz Rozenberg

Proceedings of the Adventures Between Lower Bounds and Higher Altitudes, 2018

On the Synthesis of Industry Level Process Models from Enterprise Level Process Models.

Pieter M. Kwantes, Jetty Kleijn

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, 2018

2017

Applying regions.

Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny, Grzegorz Rozenberg

Theor. Comput. Sci., 2017

Signal set tissue systems and overlapping localities.

Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny

Theor. Comput. Sci., 2017

Evolving reaction systems.

Andrzej Ehrenfeucht, Jetty Kleijn, Maciej Koutny, Grzegorz Rozenberg

Theor. Comput. Sci., 2017

Invariant Structures and Dependence Relations.

Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski

Fundam. Informaticae, 2017

Alphabets of Acyclic Invariant Structures.

Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski

Fundam. Informaticae, 2017

Methods for Distributed and Concurrent Systems: Special Issue on the occasion of the 60th Birthday of Professor Gabriel Ciobanu.

Bogdan Aman, Jetty Kleijn, Maciej Koutny, Dorel Lucanu

Fundam. Informaticae, 2017

Adding A/Sync Places to the Synthesis Procedure for Whole-Place Operations Nets with Localities.

Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny

Sci. Ann. Comput. Sci., 2017

Communication Requirements for Team Automata.

Maurice H. ter Beek, Josep Carmona, Rolf Hennicker, Jetty Kleijn

Proceedings of the Coordination Models and Languages, 2017

On Synthesising Step Alphabets for Acyclic Invariant Structures.

Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski

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, 2017

2016

Modeling biological gradient formation: combining partial differential equations and Petri nets.

Laura M. F. Bertens, Jetty Kleijn, Sander C. Hille, Monika Heiner, Maciej Koutny, Fons J. Verbeek

Nat. Comput., 2016

Step traces.

Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski

Acta Informatica, 2016

Conditions for Compatibility of Components - The Case of Masters and Slaves.

Maurice H. ter Beek, Josep Carmona, Jetty Kleijn

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

Synthesis of Petri Nets with Whole-Place Operations and Localities.

Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny

Proceedings of the Theoretical Aspects of Computing - ICTAC 2016, 2016

2015

Characterising Concurrent Histories.

Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski

Fundam. Informaticae, 2015

Preface.

José Manuel Colom, Jörg Desel, Jetty Kleijn

Fundam. Informaticae, 2015

Communication and Compatibility in Systems of Systems: Correctness-by-Construction.

Maurice H. ter Beek, Josep Carmona, Jetty Kleijn

ERCIM News, 2015

Coupling of Petri Net Models of the Mycobacterial Infection Process and Innate Immune Response.

Rafael V. Carvalho, Jeroen van den Heuvel, Jetty Kleijn, Fons J. Verbeek

Comput., 2015

Order Structures for Subclasses of Generalised Traces.

Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski

Proceedings of the Language and Automata Theory and Applications, 2015

Towards Compliance Verification Between Global and Local Process Models.

Pieter M. Kwantes, Pieter Van Gorp, Jetty Kleijn, Arend Rensink

Proceedings of the Graph Transformation - 8th International Conference, 2015

2014

Tissue Systems and Petri Net Synthesis.

Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny

Trans. Petri Nets Other Model. Concurr., 2014

On Distributed Cooperation and Synchronised Collaboration.

Maurice H. ter Beek, Jetty Kleijn

J. Autom. Lang. Comb., 2014

Preface.

Serge Haddad, Jetty Kleijn, Lucia Pomello

Fundam. Informaticae, 2014

Shuffles and Synchronized Shuffles: A Survey.

Maurice H. ter Beek, Jetty Kleijn

Proceedings of the Discrete Mathematics and Computer Science. In Memoriam Alexandru Mateescu (1952-2005)., 2014

A multi-scale extensive Petri net model of the bacterial-macrophage interaction.

Rafael V. Carvalho, Jetty Kleijn, Fons J. Verbeek

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), 2014

2013

Causality in Extensions of Petri Nets.

Jetty Kleijn, Maciej Koutny

Trans. Petri Nets Other Model. Concurr., 2013

Compatibility in a multi-component environment.

Josep Carmona, Jetty Kleijn

Theor. Comput. Sci., 2013

Mutex Causality in Processes and Traces of General Elementary Nets.

Jetty Kleijn, Maciej Koutny

Fundam. Informaticae, 2013

Step semantics of boolean nets.

Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny, Grzegorz Rozenberg

Acta Informatica, 2013

Causal Structures for General Concurrent Behaviours.

Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski

Proceedings of the 22nd International Workshop on Concurrency, 2013

2012

Minimal Reaction Systems.

Andrzej Ehrenfeucht, Jetty Kleijn, Maciej Koutny, Grzegorz Rozenberg

Trans. Comp. Sys. Biology, 2012

Regions of Petri nets with a/sync connections.

Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny

Theor. Comput. Sci., 2012

Localities in systems with a/sync communication.

Jetty Kleijn, Maciej Koutny

Theor. Comput. Sci., 2012

Vector team automata.

Maurice H. ter Beek, Jetty Kleijn

Theor. Comput. Sci., 2012

Step coverability algorithms for communicating systems.

Jetty Kleijn, Maciej Koutny

Sci. Comput. Program., 2012

Membrane Systems and Petri Net Synthesis

Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny, Grzegorz Rozenberg

Proceedings of the Proceedings 6th Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2012

Modeling Innate Immune Response to Early <i>Mycobacterium</i> Infection.

Rafael V. Carvalho, Jetty Kleijn, Annemarie H. Meijer, Fons J. Verbeek

Comput. Math. Methods Medicine, 2012

Relevance of Entities in Reaction Systems.

Andrzej Ehrenfeucht, Jetty Kleijn, Maciej Koutny, Grzegorz Rozenberg

Proceedings of the Languages Alive, 2012

2011

Membrane Systems with Qualitative Evolution Rules.

Jetty Kleijn, Maciej Koutny

Fundam. Informaticae, 2011

Petri Nets for Biologically Motivated Computing.

Jetty Kleijn, Maciej Koutny, Grzegorz Rozenberg

Sci. Ann. Comput. Sci., 2011

Petri Nets and Bio-Modelling - and how to benefit from their synergy

Jetty Kleijn, Maciej Koutny, Grzegorz Rozenberg

CoRR, 2011

Causality in Structured Occurrence Nets.

Jetty Kleijn, Maciej Koutny

Proceedings of the Dependable and Historic Computing, 2011

Classifying Boolean Nets for Region-based Synthesis.

Jetty Kleijn, Maciej Koutny, Marta Pietkiewicz-Koutny, Grzegorz Rozenberg

Proceedings of the Workshop Applications of Region Theory 2011, 2011

The Mutex Paradigm of Concurrency.

Jetty Kleijn, Maciej Koutny

Proceedings of the Applications and Theory of Petri Nets - 32nd International Conference, 2011

2010

Petri Nets with Localities and Testing.

Jetty Kleijn, Maciej Koutny

Proceedings of the Applications and Theory of Petri Nets, 2010

Modelling Gradients using Petri Nets.

Laura M. F. Bertens, Jetty Kleijn, Maciej Koutny, Fons J. Verbeek

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), 2010

Quotient Monoids and Concurrent Behaviours.

Ryszard Janicki, Jetty Kleijn, Maciej Koutny

Proceedings of the Scientific Applications of Language Methods., 2010

2009

A Petri net model for membrane systems with dynamic structure.

Jetty Kleijn, Maciej Koutny

Nat. Comput., 2009

Associativity of Infinite Synchronized Shuffles and Team Automata.

Maurice H. ter Beek, Jetty Kleijn

Fundam. Informaticae, 2009

Applying Step Coverability Trees to Communicating Component-Based Systems.

Jetty Kleijn, Maciej Koutny

Proceedings of the Fundamentals of Software Engineering, 2009

2008

Formal Languages and Concurrent Behaviours.

Jetty Kleijn, Maciej Koutny

Proceedings of the New Developments in Formal Languages and Applications, 2008

Processes of membrane systems with promoters and inhibitors.

Jetty Kleijn, Maciej Koutny

Theor. Comput. Sci., 2008

2007

Infinite unfair shuffles and associativity.

Maurice H. ter Beek, Jetty Kleijn

Theor. Comput. Sci., 2007

Processes of Petri Nets with Range Testing.

Jetty Kleijn, Maciej Koutny

Fundam. Informaticae, 2007

2006

Process Semantics for Membrane Systems.

Jetty Kleijn, Maciej Koutny, Grzegorz Rozenberg

J. Autom. Lang. Comb., 2006

Q-Automata: Modelling the Resource Usage of Concurrent Components.

Tom Chothia, Jetty Kleijn

Proceedings of the Fifth International Workshop on the Foundations of Coordination Languages and Software Architectures, 2006

Synchrony and Asynchrony in Membrane Systems.

Jetty Kleijn, Maciej Koutny

Proceedings of the Membrane Computing, 7th International Workshop, 2006

Infinite Process Semantics of Inhibitor Nets.

H. C. M. Kleijn, Maciej Koutny

Proceedings of the Petri Nets and Other Models of Concurrency, 2006

2005

Modularity for teams of I/O automata.

Maurice H. ter Beek, Jetty Kleijn

Inf. Process. Lett., 2005

Towards a Petri Net Semantics for Membrane Systems.

Jetty Kleijn, Maciej Koutny, Grzegorz Rozenberg

Proceedings of the Membrane Computing, 6th International Workshop, 2005

2004

Process semantics of general inhibitor nets.

H. C. M. Kleijn, Maciej Koutny

Inf. Comput., 2004

2003

Synchronizations in Team Automata for Groupware Systems.

Maurice H. ter Beek, Clarence A. Ellis, Jetty Kleijn, Grzegorz Rozenberg

Comput. Support. Cooperative Work., 2003

Team Automata Satisfying Compositionality.

Maurice H. ter Beek, Jetty Kleijn

Proceedings of the FME 2003: Formal Methods, 2003

Team Automata for CSCW - A Survey.

Jetty Kleijn

Proceedings of the Petri Net Technology for Communication-Based Systems, 2003

2002

Causality Semantics of Petri Nets with Weighted Inhibitor Arcs.

H. C. M. Kleijn, Maciej Koutny

Proceedings of the CONCUR 2002, 2002

Petri Net Control for Grammar Systems.

Maurice H. ter Beek, H. C. M. Kleijn

Proceedings of the Formal and Natural Computing, 2002

2001

Team automata for spatial access control.

Maurice H. ter Beek, Clarence A. Ellis, Jetty Kleijn, Grzegorz Rozenberg

Proceedings of the Seventh European Conference on Computer Supported Cooperative Work, 2001

2000

Process Semantics of P/T-Nets with Inhibitor Arcs.

H. C. M. Kleijn, Maciej Koutny

Proceedings of the Application and Theory of Petri Nets 2000, 2000

1999

A General Categorical Connection between Local Event Structures and Local Traces.

H. C. M. Kleijn, Rémi Morin, Brigitte Rozoy

Proceedings of the Fundamentals of Computation Theory, 12th International Symposium, 1999

1998

Event Structures for Local Traces.

H. C. M. Kleijn, Rémi Morin, Brigitte Rozoy

Proceedings of the Fifth International Workshop on Expressiveness in Concurrency, 1998

1997

Restrictions and Representations of Vector Controlled Concurrent System Behaviours.

N. W. Keesmaat, H. C. M. Kleijn

Theor. Comput. Sci., 1997

Net-Based Control Versus Rational Control. The Relation Between ITNC Vector Languages and Rational Relations.

N. W. Keesmaat, H. C. M. Kleijn

Acta Informatica, 1997

1996

An Event Structure Semantics for General Petri Nets.

P. W. Hoogers, H. C. M. Kleijn, P. S. Thiagarajan

Theor. Comput. Sci., 1996

1995

A Trace Semantics for Petri Nets

P. W. Hoogers, H. C. M. Kleijn, P. S. Thiagarajan

Inf. Comput., February, 1995

1994

Representation of Rational Functions with Prefix and Suffix Codings.

Tero Harju, H. C. M. Kleijn, Michel Latteux, Alain Terlutte

Theor. Comput. Sci., 1994

The Intersection Problem for Alphabetic Vector Monoids.

Tero Harju, N. W. Keesmaat, H. C. M. Kleijn

RAIRO Theor. Informatics Appl., 1994

Identities and Transductions.

Tero Harju, Hendrik Jan Hoogeboom, H. C. M. Kleijn

Proceedings of the Results and Trends in Theoretical Computer Science, 1994

1993

Morphisms and rational tranducers.

Tero Harju, H. C. M. Kleijn

Bull. EATCS, 1993

Local Event Structures and Petri Nets.

P. W. Hoogers, H. C. M. Kleijn, P. S. Thiagarajan

Proceedings of the CONCUR '93, 1993

1992

Compositional representation of rational functions.

Tero Harju, H. C. M. Kleijn, Michel Latteux

RAIRO Theor. Informatics Appl., 1992

Deterministic Sequential Functions.

Tero Harju, H. C. M. Kleijn, Michel Latteux

Acta Informatica, 1992

A Trace Semantics for Petri Nets (Extended Abstract).

P. W. Hoogers, H. C. M. Kleijn, P. S. Thiagarajan

Proceedings of the Automata, Languages and Programming, 19th International Colloquium, 1992

The effect of vector synchronization: residue and loss.

N. W. Keesmaat, H. C. M. Kleijn

Proceedings of the Advances in Petri Nets 1992, The DEMON Project, 1992

1991

Vector controlled concurrent systems, part II: comparisons.

N. W. Keesmaat, H. C. M. Kleijn, Grzegorz Rozenberg

Fundam. Informaticae, 1991

Decidability problems for unary output sequential transducers.

Tero Harju, H. C. M. Kleijn

Discret. Appl. Math., 1991

1989

Cardinality Problems of Composition of Morphisms and Inverse Morphisms.

Tero Harju, H. C. M. Kleijn

Math. Syst. Theory, 1989

1987

Results Concerning Palindromicity.

Sándor Horváth, Juhani Karhumäki, Jetty Kleijn

J. Inf. Process. Cybern., 1987

1986

On morphic generation of regular languages.

Tero Harju, Juhani Karhumäki, H. C. M. Kleijn

Discret. Appl. Math., 1986

Basic ideas of selective substitution grammars.

H. C. M. Kleijn

Proceedings of the Trends, 1986

1985

Adding Global Forbidding Context to Context-Free Grammars.

Andrzej Ehrenfeucht, H. C. M. Kleijn, Grzegorz Rozenberg

Theor. Comput. Sci., 1985

On the Equivalence of Compositions of Morphisms and Inverse Morphisms on Regular Languages.

Juhani Karhumäki, H. C. M. Kleijn

RAIRO Theor. Informatics Appl., 1985

1984

Direction Independent Context-Sensitive Grammars

H. C. M. Kleijn, Martti Penttonen, Grzegorz Rozenberg, Kai Salomaa

Inf. Control., 1984

1983

Grammatical constructions in selective substitution grammars.

Jakob Gonczarowski, H. C. M. Kleijn, Grzegorz Rozenberg

Acta Cybern., 1983

On the Generative Power of Regular Pattern Grammars.

H. C. M. Kleijn, Grzegorz Rozenberg

Acta Informatica, 1983

1982

Corrigendum: Sequential, Continuous and Parallel Grammars

H. C. M. Kleijn, Grzegorz Rozenberg

Inf. Control., March, 1982

On the role of blocking in rewriting systems.

H. C. M. Kleijn, Grzegorz Rozenberg, R. Verraedt

Acta Cybern., 1982

1981

Sequential, Continuous and Parallel Grammars

H. C. M. Kleijn, Grzegorz Rozenberg

Inf. Control., March, 1981

Context-Free Like Restrictions on Selective Rewriting.

H. C. M. Kleijn, Grzegorz Rozenberg

Theor. Comput. Sci., 1981

A General Framework for Comparing Sequential and Parallel Rewriting.

H. C. M. Kleijn, Grzegorz Rozenberg

Proceedings of the Mathematical Foundations of Computer Science 1981, Strbske Pleso, Czechoslovakia, August 31, 1981

On the Role of Selectors in Selective Substitution Grammars.

H. C. M. Kleijn, Grzegorz Rozenberg

Proceedings of the Fundamentals of Computation Theory, 1981

1980

A Study in Parallel Rewriting Systems

H. C. M. Kleijn, Grzegorz Rozenberg

Inf. Control., February, 1980