Jetty Kleijn

Affiliations:
  • Leiden Institute of Advanced Computer Science, Netherlands


According to our database1, Jetty Kleijn authored at least 119 papers between 1980 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Preface.
Fundam. Informaticae, 2024

2022
Paradigms of Concurrency - Observations, Behaviours, and Systems - a Petri Net View
Studies in Computational Intelligence 1020, Springer, ISBN: 978-3-662-64819-3, 2022

Distributed Synthesis of Asynchronously Communicating Distributed Process Models.
Trans. Petri Nets Other Model. Concurr., 2022

Preface.
Fundam. Informaticae, 2022

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

2021
Relational structures for concurrent behaviours.
Theor. Comput. Sci., 2021

Comparing reactions in reaction systems.
Theor. Comput. Sci., 2021

2020
Plug-in context providers for reaction systems.
Theor. Comput. Sci., 2020

Preface.
Fundam. Informaticae, 2020

Reaction Systems and Enabling Equivalence.
Fundam. Informaticae, 2020

Compositionality of Safe Communication in Systems of Team Automata.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2020 - 17th International Colloquium, Macau, China, November 30, 2020

Team Automata@Work: On Safe Communication.
Proceedings of the Coordination Models and Languages, 2020

On Discovering Distributed Process Models the case of asynchronous communication.
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.
J. Comput. Syst. Sci., 2019

Preface.
Fundam. Informaticae, 2019

A Formal Model to Integrate Behavioral and Structural Adaptations in Self-adaptive Systems.
Proceedings of the Fundamentals of Software Engineering - 8th International Conference, 2019

2018
A Precise Characterisation of Step Traces and Their Concurrent Histories.
Sci. Ann. Comput. Sci., 2018

Reaction Systems, Transition Systems, and Equivalences.
Proceedings of the Adventures Between Lower Bounds and Higher Altitudes, 2018

On the Synthesis of Industry Level Process Models from Enterprise Level Process Models.
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.
Theor. Comput. Sci., 2017

Signal set tissue systems and overlapping localities.
Theor. Comput. Sci., 2017

Evolving reaction systems.
Theor. Comput. Sci., 2017

Invariant Structures and Dependence Relations.
Fundam. Informaticae, 2017

Alphabets of Acyclic Invariant Structures.
Fundam. Informaticae, 2017

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

Adding A/Sync Places to the Synthesis Procedure for Whole-Place Operations Nets with Localities.
Sci. Ann. Comput. Sci., 2017

Communication Requirements for Team Automata.
Proceedings of the Coordination Models and Languages, 2017

On Synthesising Step Alphabets for Acyclic Invariant Structures.
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.
Nat. Comput., 2016

Step traces.
Acta Informatica, 2016

Conditions for Compatibility of Components - The Case of Masters and Slaves.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

Synthesis of Petri Nets with Whole-Place Operations and Localities.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2016, 2016

2015
Characterising Concurrent Histories.
Fundam. Informaticae, 2015

Preface.
Fundam. Informaticae, 2015

Communication and Compatibility in Systems of Systems: Correctness-by-Construction.
ERCIM News, 2015

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

Order Structures for Subclasses of Generalised Traces.
Proceedings of the Language and Automata Theory and Applications, 2015

Towards Compliance Verification Between Global and Local Process Models.
Proceedings of the Graph Transformation - 8th International Conference, 2015

2014
Tissue Systems and Petri Net Synthesis.
Trans. Petri Nets Other Model. Concurr., 2014

On Distributed Cooperation and Synchronised Collaboration.
J. Autom. Lang. Comb., 2014

Preface.
Fundam. Informaticae, 2014

Shuffles and Synchronized Shuffles: A Survey.
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.
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.
Trans. Petri Nets Other Model. Concurr., 2013

Compatibility in a multi-component environment.
Theor. Comput. Sci., 2013

Mutex Causality in Processes and Traces of General Elementary Nets.
Fundam. Informaticae, 2013

Step semantics of boolean nets.
Acta Informatica, 2013

Causal Structures for General Concurrent Behaviours.
Proceedings of the 22nd International Workshop on Concurrency, 2013

2012
Minimal Reaction Systems.
Trans. Comp. Sys. Biology, 2012

Regions of Petri nets with a/sync connections.
Theor. Comput. Sci., 2012

Localities in systems with a/sync communication.
Theor. Comput. Sci., 2012

Vector team automata.
Theor. Comput. Sci., 2012

Step coverability algorithms for communicating systems.
Sci. Comput. Program., 2012

Membrane Systems and Petri Net Synthesis
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.
Comput. Math. Methods Medicine, 2012

Relevance of Entities in Reaction Systems.
Proceedings of the Languages Alive, 2012

2011
Membrane Systems with Qualitative Evolution Rules.
Fundam. Informaticae, 2011

Petri Nets for Biologically Motivated Computing.
Sci. Ann. Comput. Sci., 2011

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

Causality in Structured Occurrence Nets.
Proceedings of the Dependable and Historic Computing, 2011

Classifying Boolean Nets for Region-based Synthesis.
Proceedings of the Workshop Applications of Region Theory 2011, 2011

The Mutex Paradigm of Concurrency.
Proceedings of the Applications and Theory of Petri Nets - 32nd International Conference, 2011

2010
Petri Nets with Localities and Testing.
Proceedings of the Applications and Theory of Petri Nets, 2010

Modelling Gradients using Petri Nets.
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.
Proceedings of the Scientific Applications of Language Methods., 2010

2009
A Petri net model for membrane systems with dynamic structure.
Nat. Comput., 2009

Associativity of Infinite Synchronized Shuffles and Team Automata.
Fundam. Informaticae, 2009

Applying Step Coverability Trees to Communicating Component-Based Systems.
Proceedings of the Fundamentals of Software Engineering, 2009

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

Processes of membrane systems with promoters and inhibitors.
Theor. Comput. Sci., 2008

2007
Infinite unfair shuffles and associativity.
Theor. Comput. Sci., 2007

Processes of Petri Nets with Range Testing.
Fundam. Informaticae, 2007

2006
Process Semantics for Membrane Systems.
J. Autom. Lang. Comb., 2006

Q-Automata: Modelling the Resource Usage of Concurrent Components.
Proceedings of the Fifth International Workshop on the Foundations of Coordination Languages and Software Architectures, 2006

Synchrony and Asynchrony in Membrane Systems.
Proceedings of the Membrane Computing, 7th International Workshop, 2006

Infinite Process Semantics of Inhibitor Nets.
Proceedings of the Petri Nets and Other Models of Concurrency, 2006

2005
Modularity for teams of I/O automata.
Inf. Process. Lett., 2005

Towards a Petri Net Semantics for Membrane Systems.
Proceedings of the Membrane Computing, 6th International Workshop, 2005

2004
Process semantics of general inhibitor nets.
Inf. Comput., 2004

2003
Synchronizations in Team Automata for Groupware Systems.
Comput. Support. Cooperative Work., 2003

Team Automata Satisfying Compositionality.
Proceedings of the FME 2003: Formal Methods, 2003

Team Automata for CSCW - A Survey.
Proceedings of the Petri Net Technology for Communication-Based Systems, 2003

2002
Causality Semantics of Petri Nets with Weighted Inhibitor Arcs.
Proceedings of the CONCUR 2002, 2002

Petri Net Control for Grammar Systems.
Proceedings of the Formal and Natural Computing, 2002

2001
Team automata for spatial access control.
Proceedings of the Seventh European Conference on Computer Supported Cooperative Work, 2001

2000
Process Semantics of P/T-Nets with Inhibitor Arcs.
Proceedings of the Application and Theory of Petri Nets 2000, 2000

1999
A General Categorical Connection between Local Event Structures and Local Traces.
Proceedings of the Fundamentals of Computation Theory, 12th International Symposium, 1999

1998
Event Structures for Local Traces.
Proceedings of the Fifth International Workshop on Expressiveness in Concurrency, 1998

1997
Restrictions and Representations of Vector Controlled Concurrent System Behaviours.
Theor. Comput. Sci., 1997

Net-Based Control Versus Rational Control. The Relation Between ITNC Vector Languages and Rational Relations.
Acta Informatica, 1997

1996
An Event Structure Semantics for General Petri Nets.
Theor. Comput. Sci., 1996

1995
A Trace Semantics for Petri Nets
Inf. Comput., February, 1995

1994
Representation of Rational Functions with Prefix and Suffix Codings.
Theor. Comput. Sci., 1994

The Intersection Problem for Alphabetic Vector Monoids.
RAIRO Theor. Informatics Appl., 1994

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

1993
Morphisms and rational tranducers.
Bull. EATCS, 1993

Local Event Structures and Petri Nets.
Proceedings of the CONCUR '93, 1993

1992
Compositional representation of rational functions.
RAIRO Theor. Informatics Appl., 1992

Deterministic Sequential Functions.
Acta Informatica, 1992

A Trace Semantics for Petri Nets (Extended Abstract).
Proceedings of the Automata, Languages and Programming, 19th International Colloquium, 1992

The effect of vector synchronization: residue and loss.
Proceedings of the Advances in Petri Nets 1992, The DEMON Project, 1992

1991
Vector controlled concurrent systems, part II: comparisons.
Fundam. Informaticae, 1991

Decidability problems for unary output sequential transducers.
Discret. Appl. Math., 1991

1989
Cardinality Problems of Composition of Morphisms and Inverse Morphisms.
Math. Syst. Theory, 1989

1987
Results Concerning Palindromicity.
J. Inf. Process. Cybern., 1987

1986
On morphic generation of regular languages.
Discret. Appl. Math., 1986

Basic ideas of selective substitution grammars.
Proceedings of the Trends, 1986

1985
Adding Global Forbidding Context to Context-Free Grammars.
Theor. Comput. Sci., 1985

On the Equivalence of Compositions of Morphisms and Inverse Morphisms on Regular Languages.
RAIRO Theor. Informatics Appl., 1985

1984
Direction Independent Context-Sensitive Grammars
Inf. Control., 1984

1983
Grammatical constructions in selective substitution grammars.
Acta Cybern., 1983

On the Generative Power of Regular Pattern Grammars.
Acta Informatica, 1983

1982
Corrigendum: Sequential, Continuous and Parallel Grammars
Inf. Control., March, 1982

On the role of blocking in rewriting systems.
Acta Cybern., 1982

1981
Sequential, Continuous and Parallel Grammars
Inf. Control., March, 1981

Context-Free Like Restrictions on Selective Rewriting.
Theor. Comput. Sci., 1981

A General Framework for Comparing Sequential and Parallel Rewriting.
Proceedings of the Mathematical Foundations of Computer Science 1981, Strbske Pleso, Czechoslovakia, August 31, 1981

On the Role of Selectors in Selective Substitution Grammars.
Proceedings of the Fundamentals of Computation Theory, 1981

1980
A Study in Parallel Rewriting Systems
Inf. Control., February, 1980


  Loading...