J. Kleijn

Most-cited papers

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
J. Kleijn, A. Yakovlev
2007ICATPN117 citations Open access
Semantic Scholar
Towards a Petri Net Semantics for Membrane Systems
J. Kleijn, M. Koutny, Grzegorz Rozenberg
2005Workshop on Membrane Computing39 citations Open access
Semantic Scholar
Evolving reaction systems
A. Ehrenfeucht, J. Kleijn, M. Koutny, G. Rozenberg
2017Theoretical Computer Science37 citations Open access
Semantic Scholar
Transactions on Petri nets and other models of concurrency
K. Jensen, W. V. D. van der Aalst, J. Billington, M. Koutny +2 more
200833 citations
Semantic Scholar
Q-Automata: Modelling the Resource Usage of Concurrent Components
Tom Chothia, J. Kleijn
2007FOCLASA33 citations Open access
Semantic Scholar
Minimal Reaction Systems
A. Ehrenfeucht, J. Kleijn, M. Koutny, G. Rozenberg
2012Trans. Comp. Sys. Biology31 citations Open access
Semantic Scholar
Process Semantics for Membrane Systems
J. Kleijn, M. Koutny, G. Rozenberg
2006J. Autom. Lang. Comb.31 citations
Semantic Scholar
Transactions on Petri Nets and Other Models of Concurrency V
K. Jensen, S. Donatelli, J. Kleijn
2012Lecture Notes in Computer Science30 citations Open access
Semantic Scholar
Synchrony and Asynchrony in Membrane Systems
J. Kleijn, M. Koutny
2006Workshop on Membrane Computing30 citations Open access
Semantic Scholar
Reaction Systems: A Natural Computing Approach to the Functioning of Living Cells
A. Ehrenfeucht, J. Kleijn, M. Koutny, G. Rozenberg
201227 citations
Semantic Scholar
Modelling Reaction Systems with Petri Nets
J. Kleijn, M. Koutny, G. Rozenberg
201125 citations
Semantic Scholar
A Petri net model for membrane systems with dynamic structure
J. Kleijn, M. Koutny
2009Natural Computing24 citations Open access
Semantic Scholar
Compatibility in a multi-component environment
J. Carmona, J. Kleijn
2013Theoretical Computer Science23 citations Open access
Semantic Scholar
Modeling Innate Immune Response to Early Mycobacterium Infection
R. Carvalho, J. Kleijn, A. Meijer, F. Verbeek
2012Comput. Math. Methods Medicine23 citations Open access
Semantic Scholar
Formal Languages and Concurrent Behaviours
J. Kleijn, M. Koutny
2008New Developments in Formal Languages and Applications23 citations Open access
Semantic Scholar
Step semantics of boolean nets
J. Kleijn, M. Koutny, M. Pietkiewicz-Koutny, G. Rozenberg
2013Acta Informatica20 citations Open access
Semantic Scholar
Communication Requirements for Team Automata
M. T. ter Beek, J. Carmona, R. Hennicker, J. Kleijn
2017International Conference on Coordination Models and Languages19 citations Open access
Semantic Scholar
Causality in Structured Occurrence Nets
J. Kleijn, M. Koutny
2011Dependable and Historic Computing19 citations Open access
Semantic Scholar
Qualitative and Quantitative Aspects of a Model for Processes Inspired by the Functioning of the Living Cell
A. Ehrenfeucht, J. Kleijn, M. Koutny, G. Rozenberg
201218 citations Open access
Semantic Scholar
Processes of membrane systems with promoters and inhibitors
J. Kleijn, M. Koutny
2008Theoretical Computer Science18 citations Open access
Semantic Scholar
Step traces
R. Janicki, J. Kleijn, M. Koutny, Lukasz Mikulski
2016Acta Informatica16 citations
Semantic Scholar
Reaction Systems, Transition Systems, and Equivalences
J. Kleijn, M. Koutny, Lukasz Mikulski, G. Rozenberg
2018Adventures Between Lower Bounds and Higher Altitudes15 citations Open access
Semantic Scholar
Quotient Monoids and Concurrent Behaviours
R. Janicki, J. Kleijn, M. Koutny
2010Scientific Applications of Language Methods14 citations Open access
Semantic Scholar
Processes of Petri Nets with Range Testing
J. Kleijn, M. Koutny
2007Fundamenta Informaticae14 citations
Semantic Scholar
Conditions for Compatibility of Components - The Case of Masters and Slaves
M. T. ter Beek, J. Carmona, J. Kleijn
2016Leveraging Applications of Formal Methods13 citations Open access
Semantic Scholar
Mutex Causality in Processes and Traces of General Elementary Nets
J. Kleijn, M. Koutny
2013Fundamenta Informaticae13 citations Open access
Semantic Scholar
Infinite Process Semantics of Inhibitor Nets
J. Kleijn, M. Koutny
2006ICATPN13 citations Open access
Semantic Scholar
Petri Nets for Biologically Motivated Computing
J. Kleijn, M. Koutny, G. Rozenberg
2011Scientific Annals of Computer Science12 citations
Semantic Scholar
Membrane Systems with Qualitative Evolution Rules
J. Kleijn, M. Koutny
2011Fundamenta Informaticae12 citations Open access
Semantic Scholar
Compositionality of Safe Communication in Systems of Team Automata
M. T. ter Beek, R. Hennicker, J. Kleijn
2020International Colloquium on Theoretical Aspects of Computing11 citations
Semantic Scholar
Towards Compliance Verification Between Global and Local Process Models
P. M. Kwantes, P. V. Van Gorp, J. Kleijn, A. Rensink
2015International Conference on Graph Transformation11 citations Open access
Semantic Scholar
Infinite unfair shuffles and associativity
M. T. ter Beek, J. Kleijn
2007Theoretical Computer Science11 citations Open access
Semantic Scholar
Transactions on Petri Nets and Other Models of Concurrency XI
M. Koutny, J. Desel, J. Kleijn
2016Lecture Notes in Computer Science10 citations Open access
Semantic Scholar
Regions of Petri nets with a/sync connections
J. Kleijn, M. Koutny, M. Pietkiewicz-Koutny
2012Theoretical Computer Science10 citations Open access
Semantic Scholar
Modelling and measuring complexity of traditional and ancient technologies using Petri nets
Sebastian Fajardo, J. Kleijn, F. Takes, G. Langejans
2022PLoS ONE9 citations Open access
Semantic Scholar
Characterising Concurrent Histories
R. Janicki, J. Kleijn, M. Koutny, Lukasz Mikulski
2015Fundamenta Informaticae9 citations Open access
Semantic Scholar
Modularity for teams of I / O automata ✩
M. T. ter Beek, J. Kleijn
20059 citations
Semantic Scholar
Reaction Systems and Enabling Equivalence
J. Kleijn, M. Koutny, Lukasz Mikulski
2019Fundamenta Informaticae8 citations Open access
Semantic Scholar
Applying regions
J. Kleijn, M. Koutny, M. Pietkiewicz-Koutny, G. Rozenberg
2017Theoretical Computer Science8 citations Open access
Semantic Scholar
Causal Structures for General Concurrent Behaviours
R. Janicki, J. Kleijn, M. Koutny, Lukasz Mikulski
2013International Workshop on Concurrency, Specification and Programming8 citations
Semantic Scholar
Team Automata@Work: On Safe Communication
M. T. ter Beek, R. Hennicker, J. Kleijn
2020International Conference on Coordination Models and Languages7 citations Open access
Semantic Scholar
Coupling of Petri Net Models of the Mycobacterial Infection Process and Innate Immune Response
R. Carvalho, J. van den Heuvel, J. Kleijn, F. Verbeek
2015De Computis7 citations Open access
Semantic Scholar
Modeling biological gradient formation: combining partial differential equations and Petri nets
L. Bertens, J. Kleijn, S. Hille, M. Heiner +2 more
2015Natural Computing7 citations Open access
Semantic Scholar
Vector team automata
M. T. ter Beek, J. Kleijn
2012Theoretical Computer Science7 citations Open access
Semantic Scholar
The Mutex Paradigm of Concurrency
J. Kleijn, M. Koutny
2011Applications and Theory of Petri Nets7 citations Open access
Semantic Scholar
Associativity of Infinite Synchronized Shuffles and Team Automata
M. T. ter Beek, J. Kleijn
2009Fundamenta Informaticae7 citations
Semantic Scholar
Classifying invariant structures of step traces
R. Janicki, J. Kleijn, M. Koutny, Lukasz Mikulski
2017Journal of computer and system sciences (Print)6 citations Open access
Semantic Scholar
Order Structures for Subclasses of Generalised Traces
R. Janicki, J. Kleijn, M. Koutny, Lukasz Mikulski
2015Language and Automata Theory and Applications6 citations Open access
Semantic Scholar
Localities in systems with a/sync communication
J. Kleijn, M. Koutny
2012Theoretical Computer Science6 citations Open access
Semantic Scholar
Steps and Coverability in Inhibitor Nets
J. Kleijn, M. Koutny
20086 citations
Semantic Scholar