A Study in Parallel Rewriting Systems - H. C. M. Kleijn; Grzegorz Rozenberg (Inf. Control., 1980)

On the Role of Selectors in Selective Substitution Grammars. - H. C. M. Kleijn; Grzegorz Rozenberg (FCT, 1981)

A General Framework for Comparing Sequential and Parallel Rewriting. - H. C. M. Kleijn; Grzegorz Rozenberg (MFCS, 1981)

Context-Free Like Restrictions on Selective Rewriting. - H. C. M. Kleijn; Grzegorz Rozenberg (Theor. Comput. Sci., 1981)

Sequential, Continuous and Parallel Grammars - H. C. M. Kleijn; Grzegorz Rozenberg (Inf. Control., 1981)

On the role of blocking in rewriting systems. - H. C. M. Kleijn; Grzegorz Rozenberg; R. Verraedt (Acta Cybern., 1982)

Corrigendum: Sequential, Continuous and Parallel Grammars - H. C. M. Kleijn; Grzegorz Rozenberg (Inf. Control., 1982)

On the Generative Power of Regular Pattern Grammars. - H. C. M. Kleijn; Grzegorz Rozenberg (Acta Informatica, 1983)

Grammatical constructions in selective substitution grammars. - Jakob Gonczarowski; H. C. M. Kleijn; Grzegorz Rozenberg (Acta Cybern., 1983)

Direction Independent Context-Sensitive Grammars - H. C. M. Kleijn; Martti Penttonen; Grzegorz Rozenberg; Kai Salomaa (Inf. Control., 1984)

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)

Adding Global Forbidding Context to Context-Free Grammars. - Andrzej Ehrenfeucht; H. C. M. Kleijn; Grzegorz Rozenberg (Theor. Comput. Sci., 1985)

Basic ideas of selective substitution grammars. - H. C. M. Kleijn (IMYCS, 1986)

On morphic generation of regular languages. - Tero Harju; Juhani Karhumäki; H. C. M. Kleijn (Discret. Appl. Math., 1986)

Results Concerning Palindromicity. - Sándor Horváth; Juhani Karhumäki; Jetty Kleijn (J. Inf. Process. Cybern., 1987)

Cardinality Problems of Composition of Morphisms and Inverse Morphisms. - Tero Harju; H. C. M. Kleijn (Math. Syst. Theory, 1989)

Decidability problems for unary output sequential transducers. - Tero Harju; H. C. M. Kleijn (Discret. Appl. Math., 1991)

Vector controlled concurrent systems, part II: comparisons. - N. W. Keesmaat; H. C. M. Kleijn; Grzegorz Rozenberg (Fundam. Informaticae, 1991)

The effect of vector synchronization: residue and loss. - N. W. Keesmaat; H. C. M. Kleijn (Advances in Petri Nets: The DEMON Project, 1992)

A Trace Semantics for Petri Nets (Extended Abstract). - P. W. Hoogers; H. C. M. Kleijn; P. S. Thiagarajan (ICALP, 1992)

Deterministic Sequential Functions. - Tero Harju; H. C. M. Kleijn; Michel Latteux (Acta Informatica, 1992)

Compositional representation of rational functions. - Tero Harju; H. C. M. Kleijn; Michel Latteux (RAIRO Theor. Informatics Appl., 1992)

Local Event Structures and Petri Nets. - P. W. Hoogers; H. C. M. Kleijn; P. S. Thiagarajan (CONCUR, 1993)

Morphisms and rational tranducers. - Tero Harju; H. C. M. Kleijn (Bull. EATCS, 1993)

Identities and Transductions. - Tero Harju; Hendrik Jan Hoogeboom; H. C. M. Kleijn (Results and Trends in Theoretical Computer Science, 1994)

The Intersection Problem for Alphabetic Vector Monoids. - Tero Harju; N. W. Keesmaat; H. C. M. Kleijn (RAIRO Theor. Informatics Appl., 1994)

Representation of Rational Functions with Prefix and Suffix Codings. - Tero Harju; H. C. M. Kleijn; Michel Latteux; Alain Terlutte (Theor. Comput. Sci., 1994)

A Trace Semantics for Petri Nets - P. W. Hoogers; H. C. M. Kleijn; P. S. Thiagarajan (Inf. Comput., 1995)

An Event Structure Semantics for General Petri Nets. - P. W. Hoogers; H. C. M. Kleijn; P. S. Thiagarajan (Theor. Comput. Sci., 1996)

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)

Restrictions and Representations of Vector Controlled Concurrent System Behaviours. - N. W. Keesmaat; H. C. M. Kleijn (Theor. Comput. Sci., 1997)

Event Structures for Local Traces. - H. C. M. Kleijn; Rémi Morin; Brigitte Rozoy (EXPRESS, 1998)

A General Categorical Connection between Local Event Structures and Local Traces. - H. C. M. Kleijn; Rémi Morin; Brigitte Rozoy (FCT, 1999)

Process Semantics of P/T-Nets with Inhibitor Arcs. - H. C. M. Kleijn; Maciej Koutny (ICATPN, 2000)

Team automata for spatial access control. - Maurice H. ter Beek; Clarence A. Ellis; Jetty Kleijn; Grzegorz Rozenberg (ECSCW, 2001)

Petri Net Control for Grammar Systems. - Maurice H. ter Beek; H. C. M. Kleijn (Formal and Natural Computing, 2002)

Causality Semantics of Petri Nets with Weighted Inhibitor Arcs. - H. C. M. Kleijn; Maciej Koutny (CONCUR, 2002)

Team Automata for CSCW - A Survey. - Jetty Kleijn (Petri Net Technology for Communication-Based Systems, 2003)

Team Automata Satisfying Compositionality. - Maurice H. ter Beek; Jetty Kleijn (FME, 2003)

Synchronizations in Team Automata for Groupware Systems. - Maurice H. ter Beek; Clarence A. Ellis; Jetty Kleijn; Grzegorz Rozenberg (Comput. Support. Cooperative Work., 2003)

Process semantics of general inhibitor nets. - H. C. M. Kleijn; Maciej Koutny (Inf. Comput., 2004)

Towards a Petri Net Semantics for Membrane Systems. - Jetty Kleijn; Maciej Koutny; Grzegorz Rozenberg (Workshop on Membrane Computing, 2005)

Modularity for teams of I/O automata. - Maurice H. ter Beek; Jetty Kleijn (Inf. Process. Lett., 2005)

Infinite Process Semantics of Inhibitor Nets. - H. C. M. Kleijn; Maciej Koutny (ICATPN, 2006)

Synchrony and Asynchrony in Membrane Systems. - Jetty Kleijn; Maciej Koutny (Workshop on Membrane Computing, 2006)

Q-Automata: Modelling the Resource Usage of Concurrent Components. - Tom Chothia; Jetty Kleijn (FOCLASA, 2006)

Process Semantics for Membrane Systems. - Jetty Kleijn; Maciej Koutny; Grzegorz Rozenberg (J. Autom. Lang. Comb., 2006)

Processes of Petri Nets with Range Testing. - Jetty Kleijn; Maciej Koutny (Fundam. Informaticae, 2007)

Infinite unfair shuffles and associativity. - Maurice H. ter Beek; Jetty Kleijn (Theor. Comput. Sci., 2007)

Processes of membrane systems with promoters and inhibitors. - Jetty Kleijn; Maciej Koutny (Theor. Comput. Sci., 2008)

Formal Languages and Concurrent Behaviours. - Jetty Kleijn; Maciej Koutny (New Developments in Formal Languages and Applications, 2008)

Applying Step Coverability Trees to Communicating Component-Based Systems. - Jetty Kleijn; Maciej Koutny (FSEN, 2009)

Associativity of Infinite Synchronized Shuffles and Team Automata. - Maurice H. ter Beek; Jetty Kleijn (Fundam. Informaticae, 2009)

A Petri net model for membrane systems with dynamic structure. - Jetty Kleijn; Maciej Koutny (Nat. Comput., 2009)

Quotient Monoids and Concurrent Behaviours. - Ryszard Janicki; Jetty Kleijn; Maciej Koutny (Scientific Applications of Language Methods, 2010)

Modelling Gradients using Petri Nets. - Laura M. F. Bertens; Jetty Kleijn; Maciej Koutny; Fons J. Verbeek (ACSD/Petri Nets Workshops, 2010)

Petri Nets with Localities and Testing. - Jetty Kleijn; Maciej Koutny (Petri Nets, 2010)

The Mutex Paradigm of Concurrency. - Jetty Kleijn; Maciej Koutny (Petri Nets, 2011)

Classifying Boolean Nets for Region-based Synthesis. - Jetty Kleijn; Maciej Koutny; Marta Pietkiewicz-Koutny; Grzegorz Rozenberg (ART @ Petri Nets, 2011)

Causality in Structured Occurrence Nets. - Jetty Kleijn; Maciej Koutny (Dependable and Historic Computing, 2011)

Petri Nets and Bio-Modelling - and how to benefit from their synergy - Jetty Kleijn; Maciej Koutny; Grzegorz Rozenberg (CoRR, 2011)

Petri Nets for Biologically Motivated Computing. - Jetty Kleijn; Maciej Koutny; Grzegorz Rozenberg (Sci. Ann. Comput. Sci., 2011)

Membrane Systems with Qualitative Evolution Rules. - Jetty Kleijn; Maciej Koutny (Fundam. Informaticae, 2011)

Relevance of Entities in Reaction Systems. - Andrzej Ehrenfeucht; Jetty Kleijn; Maciej Koutny; Grzegorz Rozenberg (Languages Alive, 2012)

Modeling Innate Immune Response to Early Mycobacterium Infection. - Rafael V. Carvalho; Jetty Kleijn; Annemarie H. Meijer; Fons J. Verbeek (Comput. Math. Methods Medicine, 2012)

Membrane Systems and Petri Net Synthesis - Jetty Kleijn; Maciej Koutny; Marta Pietkiewicz-Koutny; Grzegorz Rozenberg (MeCBIC, 2012)

Step coverability algorithms for communicating systems. - Jetty Kleijn; Maciej Koutny (Sci. Comput. Program., 2012)

Vector team automata. - Maurice H. ter Beek; Jetty Kleijn (Theor. Comput. Sci., 2012)

Localities in systems with a/sync communication. - Jetty Kleijn; Maciej Koutny (Theor. Comput. Sci., 2012)

Regions of Petri nets with a/sync connections. - Jetty Kleijn; Maciej Koutny; Marta Pietkiewicz-Koutny (Theor. Comput. Sci., 2012)

Minimal Reaction Systems. - Andrzej Ehrenfeucht; Jetty Kleijn; Maciej Koutny; Grzegorz Rozenberg (Trans. Comp. Sys. Biology, 2012)

Causal Structures for General Concurrent Behaviours. - Ryszard Janicki; Jetty Kleijn; Maciej Koutny; Lukasz Mikulski (CS&P, 2013)

Step semantics of boolean nets. - Jetty Kleijn; Maciej Koutny; Marta Pietkiewicz-Koutny; Grzegorz Rozenberg (Acta Informatica, 2013)

Mutex Causality in Processes and Traces of General Elementary Nets. - Jetty Kleijn; Maciej Koutny (Fundam. Informaticae, 2013)

Compatibility in a multi-component environment. - Josep Carmona 001; Jetty Kleijn (Theor. Comput. Sci., 2013)

Causality in Extensions of Petri Nets. - Jetty Kleijn; Maciej Koutny (Trans. Petri Nets Other Model. Concurr., 2013)

A multi-scale extensive Petri net model of the bacterial-macrophage interaction. - Rafael V. Carvalho; Jetty Kleijn; Fons J. Verbeek (BioPPN@Petri Nets, 2014)

Shuffles and Synchronized Shuffles: A Survey. - Maurice H. ter Beek; Jetty Kleijn (Discrete Mathematics and Computer Science, 2014)

Preface. - Serge Haddad; Jetty Kleijn; Lucia Pomello (Fundam. Informaticae, 2014)

On Distributed Cooperation and Synchronised Collaboration. - Maurice H. ter Beek; Jetty Kleijn (J. Autom. Lang. Comb., 2014)

Tissue Systems and Petri Net Synthesis. - Jetty Kleijn; Maciej Koutny; Marta Pietkiewicz-Koutny (Trans. Petri Nets Other Model. Concurr., 2014)

Towards Compliance Verification Between Global and Local Process Models. - Pieter M. Kwantes; Pieter Van Gorp; Jetty Kleijn; Arend Rensink (ICGT, 2015)

Order Structures for Subclasses of Generalised Traces. - Ryszard Janicki; Jetty Kleijn; Maciej Koutny; Lukasz Mikulski (LATA, 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)

Communication and Compatibility in Systems of Systems: Correctness-by-Construction. - Maurice H. ter Beek; Josep Carmona 001; Jetty Kleijn (ERCIM News, 2015)

Preface. - José Manuel Colom; Jörg Desel; Jetty Kleijn (Fundam. Informaticae, 2015)

Characterising Concurrent Histories. - Ryszard Janicki; Jetty Kleijn; Maciej Koutny; Lukasz Mikulski (Fundam. Informaticae, 2015)

Synthesis of Petri Nets with Whole-Place Operations and Localities. - Jetty Kleijn; Maciej Koutny; Marta Pietkiewicz-Koutny (ICTAC, 2016)

Conditions for Compatibility of Components - The Case of Masters and Slaves. - Maurice H. ter Beek; Josep Carmona 001; Jetty Kleijn (ISoLA (1), 2016)

Step traces. - Ryszard Janicki; Jetty Kleijn; Maciej Koutny; Lukasz Mikulski (Acta Informatica, 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)

On Synthesising Step Alphabets for Acyclic Invariant Structures. - Ryszard Janicki; Jetty Kleijn; Maciej Koutny; Lukasz Mikulski (ATAED@Petri Nets/ACSD, 2017)

Communication Requirements for Team Automata. - Maurice H. ter Beek; Josep Carmona 001; Rolf Hennicker; Jetty Kleijn (COORDINATION, 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)

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)

Alphabets of Acyclic Invariant Structures. - Ryszard Janicki; Jetty Kleijn; Maciej Koutny; Lukasz Mikulski (Fundam. Informaticae, 2017)

Invariant Structures and Dependence Relations. - Ryszard Janicki; Jetty Kleijn; Maciej Koutny; Lukasz Mikulski (Fundam. Informaticae, 2017)

Evolving reaction systems. - Andrzej Ehrenfeucht; Jetty Kleijn; Maciej 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)

Applying regions. - Jetty Kleijn; Maciej Koutny; Marta Pietkiewicz-Koutny; Grzegorz Rozenberg (Theor. Comput. Sci., 2017)

On the Synthesis of Industry Level Process Models from Enterprise Level Process Models. - Pieter M. Kwantes; Jetty Kleijn (ATAED@Petri Nets/ACSD, 2018)

Reaction Systems, Transition Systems, and Equivalences. - Jetty Kleijn; Maciej Koutny; Lukasz Mikulski; Grzegorz Rozenberg (Adventures Between Lower Bounds and Higher Altitudes, 2018)

A Precise Characterisation of Step Traces and Their Concurrent Histories. - Ryszard Janicki; Jetty Kleijn; Lukasz Mikulski (Sci. Ann. Comput. Sci., 2018)

A Formal Model to Integrate Behavioral and Structural Adaptations in Self-adaptive Systems. - Narges Khakpour; Jetty Kleijn; Marjan Sirjani (FSEN, 2019)

Preface. - Victor Khomenko; Jetty Kleijn; Wojciech Penczek; Olivier H. Roux (Fundam. Informaticae, 2019)

Classifying invariant structures of step traces. - Ryszard Janicki; Jetty Kleijn; Maciej Koutny; Lukasz Mikulski (J. Comput. Syst. Sci., 2019)

On Discovering Distributed Process Models the case of asynchronous communication. - Pieter M. Kwantes; Jetty Kleijn (ATAED@Petri Nets, 2020)

Team Automata@Work: On Safe Communication. - Maurice H. ter Beek; Rolf Hennicker; Jetty Kleijn (COORDINATION, 2020)

Compositionality of Safe Communication in Systems of Team Automata. - Maurice H. ter Beek; Rolf Hennicker; Jetty Kleijn (ICTAC, 2020)

Reaction Systems and Enabling Equivalence. - Jetty Kleijn; Maciej Koutny; Lukasz Mikulski (Fundam. Informaticae, 2020)

Preface. - Jetty Kleijn; Laurentiu Leustean; Dorel Lucanu (Fundam. Informaticae, 2020)

Plug-in context providers for reaction systems. - Jetty Kleijn; Maciej Koutny; Grzegorz Rozenberg (Theor. Comput. Sci., 2020)

Comparing reactions in reaction systems. - Daniela Genova; Hendrik Jan Hoogeboom; Jetty Kleijn (Theor. Comput. Sci., 2021)

Relational structures for concurrent behaviours. - Ryszard Janicki; Jetty Kleijn; Maciej Koutny; Lukasz Mikulski (Theor. Comput. Sci., 2021)

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)

Preface. - Didier Buchs; Josep Carmona 001; Jetty Kleijn (Fundam. Informaticae, 2022)

Distributed Synthesis of Asynchronously Communicating Distributed Process Models. - Pieter M. Kwantes; Jetty Kleijn (Trans. Petri Nets Other Model. Concurr., 2022)

Paradigms of Concurrency - Observations, Behaviours, and Systems - a Petri Net View - Ryszard Janicki; Jetty Kleijn; Maciej Koutny; Lukasz Mikulski (Springer, 2022)

Relational Structures for Interval Order Semantics of Concurrent Systems. - Ryszard Janicki; Jetty Kleijn; Maciej Koutny; Lukasz Mikulski (Petri Nets, 2024)

Preface. - Luca Bernardinello; Jetty Kleijn; Laure Petrucci (Fundam. Informaticae, 2024)

Functional equivalence and a cover relation for reaction systems. - Daniela Genova; Hendrik Jan Hoogeboom; Jetty Kleijn (Theor. Comput. Sci., 2024)