Jetty Kleijn
Professor Emeritus Theoretical Computing Science
- Name
- Prof.dr. H.C.M. Kleijn
- Telephone
- +31 71 527 2727
- h.c.m.kleijn@liacs.leidenuniv.nl
- ORCID iD
- 0000-0001-9506-4071
Jetty Kleijn is a professor of Theoretical Computing Science at the Leiden Institute of Advanced Computer Science (LIACS), and a visiting fellow of the School of Computing of Newcastle University. She is the head of the Theory cluster of LIACS and is also affiliated with the Bioinformatics cluster.
More information about Jetty Kleijn
PhD Candidates
See for more information my personal webpage
Professor Emeritus Theoretical Computing Science
- Science
- Leiden Inst of Advanced Computer Science
Professor Theoretical Computing Science
- Science
- Leiden Inst of Advanced Computer Science
- Kwantes P.M. & Kleijn H.C.M. (2022), Distributed synthesis of asynchronously communicating distributed process models. In: Koutny M., Kordon F. & Moldt D. (Eds.), Transactions on Petri nets and other models of concurrency XVI. Lecture Notes in Computer Science no. 13220. Berlin, Heidelberg: Springer. 49-72.
- Genova D., Hoogeboom H.J. & Klein H.C.M. (2021), Comparing reactions in reaction systems, Theoretical Computer Science 881: 83-96.
- Kwantes P.M. & Kleijn H.C.M. (2020), On discovering distributed process models : the case of asynchronous communication. Aalst W. van der, Bergenthum R. & Carmona J. (Eds.), Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2020. ATAED 2000 International Workshop on Algorithms & Theories for the Analysis of Event Data 2020 24 June 2020 - 24 June 2020: CEUR. 49-65.
- Janicki R., Kleijn H.C.M. & Mikulski L. (2018), A Precise Characterisation of Step Traces and Their Concurrent Histories, Scientific Annals of Computer Science 28(2): 237-267.
- Kleijn H.C.M., Koutny M., Mikulski L. & Rozenberg G. (2018), Reaction Systems, Transition Systems, and Equivalences. In: Böckenhauer H.J., Komm D. & Unger W. (Eds.), Adventures Between Lower Bounds and Higher Altitudes - Essays Dedicated to Juraj Hromkovič on the Occasion of His 60th Birthday.. Lecture Notes in Computer Science no. 11011. Cham: Springer International Publishing. 63-84.
- Kwantes P.M. & Kleijn H.C.M. (2018), On the Synthesis of Industry Level Process Models from Enterprise Level Process Models. Aalst W. van der, Bergenthum R. & Carmona J. (Eds.), Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2018. Algorithms & Theories for the Analysis of Event Data 2018 (ATAED 2018) 25 June 2018 - 25 June 2018 no. 2115 6-22.
- Kleijn H.C.M. (2018), Evolving Reaction Systems, Conference Booklet of the first International Workshop on Reaction Systems, Milan, Italy (2018) : .
- Kleijn H.C.M. & Smit P. (2018), Partially Ordering Koutny’s Traces. In: Khomenko V. (Ed.), Harnessed Causality - Essays dedicated to Maciej Koutny on the occasion of his 60th birthday 94-101.
- Hoogeboom H.J., Kleijn H.C.M., Nat M. van der, Petre I. & Salomaa A. (Eds.) (2017), A Magician in Science. Liber Amicorum Grzegorz Rozenberg. Turku, Finland: TUCS.
- Aman B., Kleijn H.C.M., Koutny M. & Lucanu D. (2017), Methods for Distributed and Concurrent Systems, Fundamenta Informaticae 153(1-2): v-vi.
- Kleijn H.C.M., Koutny M. & Pietkiewicz-Koutny M. (2017), Adding A/Sync Places to the Synthesis Procedure for Whole-Place Operations Nets with Localities, Scientific Annals of Computer Science 27(2): 177-212.
- Janicki R., Kleijn H.C.M., Koutny M. & Mikulski L. (2017), Alphabets of Acyclic Invariant Structures, Fundamenta Informaticae 154(1-4): 207-224.
- Janicki R., Kleijn H.C.M., Koutny M. & Mikulski L. (2017), Invariant Structures and Dependence Relations, Fundamenta Informaticae 155(1-2): 1-29.
- Kleijn H.C.M., Koutny M., Pietkiewicz-Koutny M. & Rozenberg G. (2017), Applying regions, Theoretical Computer Science 658: 205-215.
- Ehrenfeucht A., Kleijn H.C.M., Koutny M. & Rozenberg G. (2017), Evolving reaction systems, Theoretical Computer Science 682: 79-99.
- Kleijn H.C.M., Koutny M. & Pietkiewicz-Koutny M. (2017), Signal set tissue systems and overlapping localities, Theoretical Computer Science 701: 132-145.
- Janicki R., Kleijn H.C.M., Koutny M. & Mikulski L. (2017), Classifying invariant structures of step traces, Journal of Computer and System Sciences 104: 297-322.
- Janicki R., Kleijn H.C.M., Koutny M. & Mikulski L. (2017), On Synthesising Step Alphabets for Acyclic Invariant Structures. Aalst W. van der, Bergenthum R. & Carmona J. (Eds.), CEUR Workshop Proceedings. Algorithms & Theories for the Analysis of Event Data 2017 26 June 2017 - 27 June 2017 no. 1847: CEUR Workshop Proceedings. 76-88.
- Beek M.H. ter, Carmona J., Hennicker R. & Kleijn H.C.M. (2017), Communication Requirements for Team Automata. Jacquet J.M. & Massink M. (Eds.), Coordination Models and Languages. 19th IFIP WG 6.1 International Conference on Coordination Models and Languages - COORDINATION 2017 19 June 2017 - 22 June 2017 no. 10319: Springer, Cham. 256-277.
- Koutny M., Kleijn H.C.M. & Penczek W. (Eds.) (2017), Transactions on Petri Nets and Other Models of Concurrency XII. Lecture Notes in Computer Science no. 10470: Springer.
- Aman B., Kleijn H.C.M., Koutny M. & Lucanu D. (Eds.) (2017), Methods for Distributed and Concurrent Systems: Special Issue on the occasion of the 60th Birthday of Professor Gabriel Ciobanu. Fundamenta Informaticae: IOS Press.
- Kleijn H.C.M. (2017), Structure of Behaviour in Extended EN Systems, : 33.
- Kleijn J., Koutny M. & Pietkiewicz-Koutny M. (2016), Regions of Affine Nets. In: Mokhov A. (Ed.), This Asynchronous World. Essays dedicated to Alex Yakovlev on the occasion of his 60th birthday. Newcastle upon Tyne: Newcastle University. 182-191.
- Bertens L.M.F., Kleijn J., Hille S., Heiner M., Koutny M. & Verbeek F.J. (2016), Modeling Biological Gradient Formation: Combining Partial Differential Equations and Petri Nets, Natural computing 154(4): 665-675.
- Kleijn J., Koutny M. & Pietkiewicz-Koutny M. (2016), Synthesis of Petri Nets with Whole-Place Operations and Localities. Sampaio A. & Wang F. (Eds.), Lecture Notes in Computer Science. International Colloquium on Theoretical Aspects of Computing (ICTAC) 24 October 2016 - 30 October 2016 no. 9965. Cham, Switzerland: Springer Publishers. 103-120.
- Beek M.H. ter, Carmona J. & Kleijn J. (2016), Conditions for Compatibility of Components - The Case of Masters and Slaves. Margaria T. & Steffen B. (Eds.), Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. ISoLA 2016. Lecture Notes in Computer Science. ISoLA 2016 7TH INTERNATIONAL SYMPOSIUM ON LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION 5 October 2016 - 14 October 2016 no. 9952. Cham: Springer Publishers. 784-805.
- Janicki R., Kleijn J., Koutny M. & Mikulski Ł. (2016), Step Traces, Acta Informatica 53(1): 35-65.
- Kleijn H.C.M. (2016), On Processes and Paradigms. Moldt D. & Kordon F. (Eds.), Application and Theory of Petri Nets and Concurrency 37th International Conference, PETRI NETS 2016, Torun, Poland, June 19-24, 2016. Proceedings: 2016. International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency 19 June 2016 - 24 June 2016 no. LNCS 9698. Cham: Springer International Publishing. XIII-XIV.
- Koutny M., Desel J. & Kleijn J. (Eds.) (2016), Transactions on Petri Nets and Other Models of Concurrency (ToPNoC) XI. Lecture Notes in Computer Science. Cham: Springer International Publishing.
- Viana de Carvalho R., Heuvel J. van den, Kleijn H.C.M. & Verbeek F.J. (2015), Coupling of Petri Net Models of the Mycobacterial Infection Process and Innate Immune Response, Computation 3(2): 150-176.
- Kleijn J. & Koutny M. (2015), Set Tissue Systems with Instant Signalling. In: Gheorghe M., Petre I., Perez-Jimenez M.J., Rozenberg G. & Salomaa A. (Eds.), Multidisciplinary Creativity: Spandugino. 105-117.
- Beek M.H. ter & Kleijn J. (2015), Shuffles and Synchronised Shuffles: A Survey. In: Paun G., Rozenberg G. & Salomaa A. (Eds.), Discrete Mathematics and Computer Science: Publishing House of the Romanian Academy, Bucharest.Romanian Academy. 37-50.
- Kleijn H.C.M. (2015), Concurrency, Histories and Nets. Durand-Lose J. & Nagy B. (Eds.), Machines, Computations and Universality. 7th International Conference on Machines, Computations and Universality (MCU 2015) 9 September 2015 - 11 September 2015 no. LNCS 9288: Springer. XII-XIV.
- Janicki R., Kleijn J., Koutny M. & Mikulski Ł. (2015), Order Structures for Subclasses of Generalised Traces. Dediu A.H., Formenti E., Martin-Vide C. & Truthe B. (Eds.), Language and Automata Theory and Applications. LATA 2015. Ninth International Conference on Languages and Automata Theory and Applications (LATA 2015) 2 March 2015 - 6 March 2015 no. LNCS 8977. Cham: Springer. 689-700.
- Colom J.M., Desel J. & Kleijn J. (Eds.) (2015), Application and Theory of Petri Nets and Concurrency. PETRI NETS 2013. Fundamenta Informaticae no. 137: IOS Press.
- Janicki R., Kleijn J., Koutny M. & Mikulski Ł. (2015), Relating Step Alphabets and Invariant Structures no. CS-TR-1489: School of Computing Science, University of Newcastle upon Tyne, UK.
- Kwantes P.M., Gorp P. van, Kleijn J. & Rensink A. (2015), Towards Compliance Verification Between Global and Local Process Models. Parisi-Presicce F. & Westfechtel B. (Eds.), Graph Transformation. International Conference of Graph Transformation 21 July 2015 - 23 July 2015 no. 9151. L'Aquila: Springer. 221-236.
- Janicki R., Kleijn H.C.M., Koutny M. & Mikulski L. (2015), Characterising Concurrent Histories, Fundamenta Informaticae 139(1): 21-42.
- Beek M.H. ter, Carmona J. & Kleijn H.C.M. (2015), Communication and Compatibility in Systems of Systems: Correctness-by-Construction, ERCIM News 102(July): 21-22.
- Beek M.H. ter & Kleijn J. (2014), On Distributed Cooperation and Synchronised Collaboration, Journal of Automata, Languages and Combinatorics 19(1-4): 17-32.
- Kleijn J., Koutny M. & Pietkiewicz-Koutny M. (2014), Tissue systems and Petri nets synthesis. In: Koutny M., Haddad S. & Yakovlev A. (Eds.), Transactions on Petri Nets and Other Models of Concurrency (ToPNoC) IX no. 8910: Springer.
- Viana de Carvalho R., Kleijn H.C.M. & Verbeek F.J. (2014), A multi-scale extensive Petri net model of the bacterial-macrophage interaction. Heiner M. (Ed.), Proceedings of the 5th international workshop on biological processes & Petri Nets. 5th International Workshop on Biological Processes & Petri Nets 23 June 2014 - 23 June 2014 no. 1159: CEUR . 15-29.
- Haddad S., Kleijn J. & Pomello L. (Eds.) (2014), Application and Theory of Petri Nets and Concurrency 2012. Fundamenta Informaticae no. 131(1).
- Janicki R., Kleijn J., Koutny M. & Mikulski L. (2014), Generalising Traces no. CS-TR No. 1436: School of Computing Science, University of Newcastle-upon-Tyne, UK.
- Janicki R., Kleijn J., Koutny M. & Mikulski I. (2014), Order Structures for Subclasses of Generalised Traces no. CS-TR No 1437: School of Computing Science, University of Newcastle-upon-Tyne, UK.
- Kleijn J. & Koutny M. (2013), Causality in Extensions of Petri Nets. In: , Transactions on Petri Nets and Other Models of Concurrency (ToPNoC) VII: Springer. 225-254.
- Janicki R., Kleijn H.C.M., Koutny M. & Mikulski L. (2013), Causal Structures for General Concurrent Behaviours, Proceedings 22nd International Workshop on Concurrency, Specification and Programming. : CEUR WS. 193-205.
- Kleijn H.C.M., Koutny M. & Pietkiewicz-Koutny M. (2013), Synthesis of Tissue Systems, Proceedings Third Workshop on Application of Region Theory (ART). 1-16.
- Bertens L.M.F., Kleijn J., Hille S.C., Koutny M., Heiner M. & Verbeek F.J. (2013), Modeling biological gradient formation: combining partial differential equations and Petri nets. Newcastle: University of Newcastle-upon-Tyne, UK.
- Janicki R., Kleijn J., Koutny M. & Mikulski L. (2013), Causal Structures for General Concurrent Behaviours: University of Newcastle-upon-Tyne, UK.
- Kleijn J. & Koutny M. (2013), Mutex Causality in Processes and Traces of General Elementary Nets, Fundamenta Informaticae 122: 119-146.
- Carmona J.A. & Kleijn J. (2013), Compatibility in a multi-component environment, 484: 1-15.
- Kleijn J., Koutny M., Pietkiewicz-Koutny M. & Rozenberg G. (2013), Step Semantics of Boolean Nets, Acta Informatica 50: 15-39.
- Kleijn J., Koutny M. & Pietkiewicz-Koutny M. (2012), Regions of Petri nets with a/sync connections, 454: 189-198.
- Viana de Carvalho R., Kleijn H.C.M., Meijer A.H. & Verbeek F.J. (2012), Modeling innate immune response to early mycobacterium infection, Computational and Mathematical Methods in Medicine 2012: 790482.
- Ehrenfeucht A., Kleijn J., Koutny M. & Rozenberg G. (2012), Qualitative and Quantitative Aspects of a Model for Processes Inspired by the Functioning of the Living Cell. In: Katz E. (Ed.), Biomolecular Information Processing, From Logic Systems to Smart Sensors and Actuators. Weinheim, Germany: Wiley-VCH. 303-322.
- Ehrenfeucht A., Kleijn J., Koutny M. & Rozenberg G. (2012), Reaction Systems: A Natural Computing Approach to the Functioning of Living Cells. In: Zenil H. (Ed.), A Computable Universe, Understanding and Exploring Nature as Computation: World Scientific.
- Ehrenfeucht A., Kleijn J., Koutny M. & Rozenberg G. (2012), Relevance of Entities in Reaction Systems. Bordihn H., Kutrib M. & Truthe B. (Eds.), Languages Alive. : Springer. 44-55.
- Kleijn J., Koutny M., Pietkiewicz-Koutny M. & Rozenberg G. (2012), Petri Net Synthesis and Membrane Systems. Aman B. & Ciobanu G. (Eds.), Pre-Proceedings MeCBIC 2012. 7-8.
- Kleijn J., Koutny M., Pietkiewicz-Koutny M. & Rozenberg G. (2012), Membrane Systems and Petri Net Synthesis. Ciobanu G. (Ed.), Proceedings 6th Workshop on Membrane Computing and Biologically Inspired Process Calculi. . Electronic Proceedings in Theoretical Computer Science 1-13.
- Ehrenfeucht A., Kleijn J., Koutny M. & Rozenberg G. (2012), Minimal reaction systems. Priami C., Petre I. & Vink E. de (Eds.), Transactions on Computational Systems Biology XIV. : Springer. 102-122.
- Jensen K., Donatelli S. & Kleijn J. (Eds.) (2012), Transactions on Petri Nets and Other Models of Concurrency V. Heidelberg: Springer Verlag.
- Jensen K., Aalst W.M.P. van der, Ajmone Marsan M., Franceschinis G., Kleijn H.C.M. & Kristensen L.M. (Eds.) (2012), Transactions on Petri Nets and Other Models of Concurrency VI. Heidelberg Berlin: Springer.
- Kleijn J., Koutny M., Pietkiewicz-Koutny M. & Rozenberg G. (2012), Membrane Systems and Petri Net Synthesis: University of Newcastle-upon-Tyne, UK.
- Kleijn J. (2012), Petri Nets at Leiden University, Petri Net Newsletter : 11-14.
- Bertens L.M.F., Kleijn J. & Verbeek F.J. (2012), Biomodelling and Petri Nets, Eureka magazine : 6-8.
- Kleijn J. & Koutny M. (2012), Localities in systems with a/sync communication, 429: 185-192.
- Kleijn Jetty & Koutny M. (2012), Step coverability algorithms for communicating systems, Science of Computer Programming 77: 955-967.
- Beek M.H. ter & Kleijn J. (2012), Vector team automata, 429: 21-29.
- Kleijn J. & Koutny M. (2011), Causality in Structured Occurrence Nets. In: Jones C.B. & Lloyd J.L. (Eds.), Festschrift Randell: Springer. 283-297.
- Kleijn J. & Koutny M. (2011), The Mutex Paradigm of Concurrency. Kristensen L.M. & Petrucci L. (Eds.), Proceedings Applications and theory of Petri Nets, 32nd International Conference. : Springer. 228-247.
- Kleijn J., Koutny M. & Rozenberg G. (2011), Modelling Reaction Systems with Petri Nets. Heiner M. & Matsuno H. (Eds.), International Workshop on Biological Processes & Petri Nets (BioPPN-2011). . CEUR Workshop Proceedings 36-52.
- Kleijn J., Koutny M. & Rozenberg G. (2011), Petri Nets and Bio-Modelling and how to benefit from their synergy, Fifth Workshop on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC 2011). . Fontainebleau, France.
- Kleijn J., Koutny M., Pietkiewicz-Koutny M. & Rozenberg G. (2011), Classifying Boolean Nets for Region-based Synthesis. Desel J. & Yakovlev A. (Eds.), Proceedings of the Workshop on Applications of Region Theory 2011. . CEUR Workshop proceedings 5-21.
- Ehrenfeucht A., Kleijn J., Koutny M. & Rozenberg G. (2011), Relevance of Entities in Reaction Systems. Newcastle upon Tyne, UK: School of Computing Science, University of Newcastle upon Tyne.
- Ehrenfeucht A., Kleijn J., Koutny M. & Rozenberg G. (2011), Reaction Systems: A Natural Computing Approach to the Functioning of Living Cells: University of Newcastle-upon-Tyne, UK.
- Kleijn J. & Koutny M. (2011), Membrane Systems with Qualitative Evolution Rules. University of Newcastle upon Tyne, UK: School of Computing Science, University of Newcastle upon Tyne.
- Kleijn J. & Koutny M. (2011), Causality in Extensions of Petri Nets. University of Newcastle-upon-Tyne, UK: School of Computing Science, University of Newcastle upon Tyne.
- Kleijn J., Koutny M. & Rozenberg G. (2011), Petri Nets for Biologically Motivated Computing. University of Newcastle upon Tyne, UK: School of Computing Science, University of Newcastle upon Tyne.
- Van der Vlugt S., Kleijn J. & Koutny M. (2011), Coverability and Inhibitor Arcs: an example. University of Newcastle upon Tyne, UK: School of Computing Science, University of Newcastle upon Tyne.
- Kleijn J., Koutny M. & Pietkiewicz-Koutny M. (2011), Regions of Petri Nets with a/synch Connections: University of Newcastle-upon-Tyne, UK.
- Kleijn J. & Koutny M. (2011), Localities in Systems with a/sync Communication. University of Newcastle upon Tyne, UK: School of Computing Science, University of Newcastle upon Tyne.
- Kleijn J. & Koutny M. (2011), Mutex Causality in Processes and Traces of General Elementary Nets. University of Newcastle upon Tyne, UK: School of Computing Science, University of Newcastle upon Tyne.
- Kleijn J., Koutny M., Pietkiewicz-Koutny M. & Rozenberg G. (2011), Step Semantics of Boolean Sets: University of Newcastle-upon-Tyne, UK.
- Ehrenfeucht A., Kleijn J., Koutny M. & Rozenberg G. (2011), Qualitative and Quantitative Aspects of a Model for Processes Inspired by the Funcitoning of a Living Cell: University of Newcastle-upon-Tyne, UK.
- Kleijn J. & Koutny M. (2011), The Mutex Paradigm of Concurrency. University of Newcastle upon Tyne, UK: School of Computing Science, University of Newcastle upon Tyne.
- Kleijn J. & Koutny M. (2011), Causality in Structured Occurrence Nets. University of Newcastle upon Tyne, UK: School of Computing Science, University of Newcastle upon Tyne.
- Kleijn J. & Koutny M. (2011), Membrane Systems with Qualitative Evolution Rules, Fundamenta Informaticae 110: 217-230.
- Van der Vlugt S., Kleijn J. & Koutny M. (2011), Coverability and Inhibitor Arcs: an example, Petri Net Newsletter 79: 7-12.
- Kleijn J., Koutny M. & Rozenberg G. (2011), Petri Nets for Biologically Motivated Computing, Scientific Annals of Computer Science 21(2): 199-225.
- Kleijn J. & Koutny M. (2010), Petri nets and membrane computing (Chapter 15). In: Paun G., Rozenberg G. & Salomaa A. (Eds.), The Oxford Handbook of Membrane Computing: Oxford University Press. 389-412.
- Janicki R., Kleijn Jetty & Koutny M. (2010), Quotient Monoids and Concurrent Behaviours. In: Martín-Vide C. (Ed.), Scientific Applications of Language Methods: World Scientific. 313-386.
- Bertens L.M.F., Kleijn J., Koutny M. & Verbeek F.J. (2010), Modelling gradients using petri nets. Donatelli S., Kleijn H.C.M., Machado R.J. & Fernandez J.M. (Eds.), Proceedings of the workshops of the 31st international conference on application and theory of petri nets and other models of concurrency (PETRI NETS 2010). RAPNeC-2010 Recent Advances in Petri Nets and Concurrency 21 June 2010 - 22 June 2010. CEUR Workshop Proceedings no. 827: CEUR-WS. 39-53.
- Kleijn J. & Koutny M. (2010), Petri Nets with Localities and Testing. Lilius J. & Penczek W. (Eds.), Applications and Theory of Petri Nets, 31st International Conference (PETRI NETS 2010). 19-38.
- Kleijn J. & Koutny M. (2010), Applying Step Coverability Trees to Communicating Component-Based Systems. Arbab F. & Sirjani M. (Eds.), Fundamentals of Software Engineering (FSEN 2009). FSEN 2009: Springer. 178-193.
- Bertens L.M.F., Kleijn H.C.M., Koutny M. & Verbeek F.J. (2010), Modelling Gradients Using Petri Nets. Leiden: Universiteit Leiden.
- Kleijn J. & Koutny M. (2009), Petri Nets and Membrane Computing. In: Paun G., Rozenberg G. & Salomaa A. (Eds.), The Oxford Handbook of Membrane Computing: Oxford University press. 389-412.
- Kleijn J. & Koutny M. (2009), Applying Step Coverability Trees to Communicating Component-Based Systems. Newcastle, UK: School of Computing Science, Newcastle University, UK.
- Bertens L.M.F., Jansen H.J., Kleijn J., Koutny M. & Verbeek F.J. (2009), Using Petri Nets in Higher Level Development Biology: a case study on the AP axis development in Xenopus laevis. Extended abstract. Leiden: LIACS.
- Kleijn J. & Koutny M. (2009), A Petri net model for membrane systems with dynamic structure, Natural computing 8: 781-796.
- Beek M.H. ter & Kleijn J. (2009), Associativity of Infinite Synchronized Shuffles and Team Automata, Fundamenta Informaticae 91: 437-461.
- Kleijn J. & Koutny M. (2008), Processes of membrane systems with promoters and inhibitors, 404: 112-126.
- Kleijn J. & Koutnny M. (2008), Concurrency metHods: Issues aNd Applications, 29th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency. : Springer.
- Beek M.H. ter & Kleijn J. (2007), Infinite Unfair Shuffles and Associativity, 380: 401-410.
- Kleijn J. & Koutny M. (2007), Processes of Petri Nets with Range testing, Fundamenta Informaticae 80: 199-219.
- Kleijn J. (2007), Petri Nets and Other Models of Concurrency. Kleijn A. & Yakovlev A. (Eds.), ICATPN 2007. .
- Chothia T. & Kleijn J. (2006), Q-Automata: Modelling the Resource Usage of concurrent components. In: Canal C. & Vrioli M. (Eds.), foundations of Coordination Languages and Software Architectures. Univ of Malaga: Dept of computer Science. 151-165.
- Kleijn J. & Koutny M. (2006), Infinite Process Semantics of Inhibitor Nets. Donatelli S. & Thiagarajan P.S. (Eds.), Petri Nets and Other Models of Concurrency. 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency 282-301.
- Kleijn J. & Koutny M. (2006), Synchrony and Asynchrony in Membrane Systems. Hoogeboom H.J., Paun G., Rozenberg G. & Salomaa A. (Eds.), Membrane Computing, Seventh International Workshop. 66-85.
- Kleijn J., Koutny M. & Rozenberg G. (2006), Towards a Petri net semantics for membrane systems. Paun G., Rozenberg G., Freund R. & Salomaa A. (Eds.), Membrane Computing: 6th International Workshop, WMC 2005. : Springer. 292-309.
- Kleijn J., Koutny M. & Rozenberg G. (2006), Process Semantics for Membrane Systems, Journal of Automata, Languages and Combinatorics 11: 321-340.
- Beek M.H. ter & Kleijn J. (2005), Infinite Unfair Shuffles and Associativity. Brlek S. & Reutenauer C. (Eds.), Proceedings of the 5th International Conference on Words (WORDS'05). . Montréal: Université du Québec à Montréal, Montréal. 129-146.
- Beek M.H. ter & Kleijn J. (2005), Modularity for Teams of I/O Automata, Information Processing Letters 95: 487-495.
- Beek M.H. ter & Kleijn J. (2002), Petri Net Control for Grammar Systems. In: Brauer W., Ehrig H., Karhumaki J. & Salomaa A. (Eds.), Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg: Springer Verlag. 220-243.
- Kleijn J. & Koutny M. (2002), Causality Semantics of Petri Nets with Weighted Ibhibitor Arcs. Brim L., Jancar P., Kretinsky M. & Kucera A. (Eds.), Concur 2002 - 13th International Conference. 531-546.
- Kleijn J., Morin R. & Rozoy B. (1998), Event Structures in Local Traces. onbekend: LIACS.
- Kleijn J., Morin R. & Rozoy B. (1998), Event Structures for Local Traces, Electronic Notes in Theoretical Computer Science (ENTCS) 16(2): .