Universiteit Leiden

nl en

Jetty Kleijn

Universitair hoofddocent

Naam
Dr. H.C.M. Kleijn
Telefoon
+31 71 527 7064
E-mail
h.c.m.kleijn@liacs.leidenuniv.nl

Universitair hoofddocent

  • Wiskunde en Natuurwetenschappen
  • Leiden Inst Advanced Computer Sciences

Werkadres

Snellius
Niels Bohrweg 1
2333 CA Leiden
Kamernummer 154

Contact

  • 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: 665-675.artikel in tijdschrift (refereed)
  • Bertens L.M.F., Kleijn J., Hille S.C., Heiner M., Koutny M. & Verbeek F.J. (2015), Modeling biological gradient formation: combining partial differential equations and Petri nets, Natural computing : 1-11.artikel in tijdschrift (refereed)
  • Kwantes P.M., Gorp P. van, Kleijn J. & Rensink A. (2015), Towards Compliance Verification Between Global and Local Process Models. In: Parisi-Presicce F., Westfechtel B. (red.) Graph Transformation. Lecture notes in computer science nr. 9151. L'Aquila: Springer. 221-236.congresbijdrage (refereed)
  • Beek M.H. ter, Carmona J. & Kleijn J. (2015), Communication and Compatibility in Systems of Systems: Correctness-by-Construction, ERCIM News 102: 21.bijdrage in dag-/weekblad of tijdschrift
  • Janicki R., Kleijn J., Koutny M. & Mikulski Ł. (2016), Step Traces, ACTA INFORMATICA 53(1): 35-65.artikel in tijdschrift (refereed)
  • Viana de Carvalho R., Heuvel J. van den, Kleijn J. & Verbeek F.J. (2015), Coupling of Petri Net Models of the Mycobacterial Infection Process and Innate Immune Response, Computation 3(2): 150-176.artikel in tijdschrift (refereed)
  • Beek M.H. ter & Kleijn J. (2015), Shuffles and Synchronised Shuffles: A Survey. In: Paun G., Rozenberg G., Salomaa A. (Red.) Discrete Mathematics and Computer Science: Publishing House of the Romanian Academy, Bucharest.Romanian Academy. 37-50.boekdeel
  • Janicki R., Kleijn J., Koutny M. & Mikulski Ł. (2015), Order Structures for Subclasses of Generalised Traces. In: Language and Automata Theory and Applications. Lecture notes in computer science nr. 8977: Springer. 689-700.congresbijdrage (refereed)
  • Colom J.M., Desel J. & Kleijn J. (red.) (2015), Special issue: Application and Theory of Petri Nets and Concurrency. PETRI NETS 2013 Fundamenta Informaticae nr. 137(1).boekredactie
  • Janicki R., Kleijn J., Koutny M. & Mikulski Ł. (2015), Characterising Concurrent Histories, Fundamenta Informaticae 139(1): 21-42.artikel in tijdschrift (refereed)
  • Janicki R., Kleijn J., Koutny M. & Mikulski Ł. (2015), Relating Step Alphabets and Invariant Structures nr. CS-TR-1489: School of Computing Science, University of Newcastle upon Tyne, UK.rapport
  • Kleijn J. & Koutny M. (2015), Set Tissue Systems with Instant Signalling. In: Gheorghe M., Petre I., Perez-Jimenez M.J., Rozenberg G., Salomaa A. (red.) Multidisciplinary Creativity.: Spandugino. 105-117.boekdeel
  • Kleijn J. (2015), Concurrency, Histories and Nets [invited lecture]. In: Machines, Computations and Universality. nr. LNCS 9288: Springer. XII-XIV.congresbijdrage (refereed)
  • Viana de Carvalho R., Kleijn J. & Verbeek F.J. (2014), A multi-scale extensive Petri net model of the bacterial-macrophage interaction. In: Proceedings BioPPN 2014. no. CEUR Workshop Proceedings: CEUR Workshop Proceedings, vol. 1159. 15-29.congresbijdrage (refereed)
  • Beek, M.H. ter & Kleijn J. (2014), On Distributed Cooperation and Synchronised Collaboration, Journal of Automata, Languages and Combinatorics 19(1-4): 17-32.artikel in tijdschrift (refereed)
  • 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.rapport
  • Kleijn J., Koutny M. & Pietkiewicz-Koutny M. (2014), Tissue systems and Petri nets synthesis. In: Koutny M., Haddad S., Yakovlev A. (Red.) Transactions on Petri Nets and Other Models of Concurrency (ToPNoC) IX Lectures notes in computer science nr. 8910: Springer.boekdeel
  • Haddad S., Kleijn J. & Pomello L. (Red.) (2014), Application and Theory of Petri Nets and Concurrency 2012 Fundamenta informaticae nr. 131(1).boekredactie
  • 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.rapport
  • Kleijn J. & Koutny M. (2013), Mutex Causality in Processes and Traces of General Elementary Nets, Fundamenta Informaticae 122: 119-146.artikel in tijdschrift (refereed)
  • Kleijn J., Koutny M., Pietkiewicz-Koutny M. & Rozenberg G. (2013), Step Semantics of Boolean Nets, Acta Informatica 50: 15-39.artikel in tijdschrift (refereed)
  • Janicki R., Kleijn J., Koutny M. & Mikulski L. (2013), Causal Structures for General Concurrent Behaviours: University of Newcastle-upon-Tyne, UK.rapport
  • 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: University of Newcastle-upon-Tyne, UK.rapport
  • Kleijn J. & Koutny M. (2013), Causality in Extensions of Petri Nets. In: Transactions on Petri Nets and Other Models of Concurrency (ToPNoC) VII Lecture notes in Computer Science: Springer. 225-254.boekdeel
  • Carmona J.A. & Kleijn J. (2013), Compatibility in a multi-component environment, Theoretical Computer Science 484: 1-15.artikel in tijdschrift (refereed)
  • Janicki R., Kleijn H.C.M., Koutny M. & Mikulski L. (2013), Causal Structures for General Concurrent Behaviours. In: Proceedings 22nd International Workshop on Concurrency, Specification and Programming: CEUR WS. 193-205.congresbijdrage (refereed)
  • Kleijn H.C.M., Koutny M & Pietkiewicz-Koutny M. (2013), Synthesis of Tissue Systems. In: Proceedings Third Workshop on Application of Region Theory (ART). 1-16.congresbijdrage (refereed)
  • Kleijn J. (2012), Petri Nets at Leiden University, Petri Net Newsletter: 11-14.overig
  • Ehrenfeucht A., Kleijn J., Koutny M. & Rozenberg G. (2012), Relevance of Entities in Reaction Systems. In: Bordihn H., Kutrib M., Truthe B. (Red.) Languages Alive Lecture Notes in Computer Science: Springer. 44-55.congresbijdrage (refereed)
  • Jensen K., Donatelli S. & Kleijn J. (Red.) (2012), Transactions on Petri Nets and Other Models of Concurrency V. Heidelberg: Springer Verlag.boekredactie
  • Beek M.H. ter & Kleijn J. (2012), Vector team automata, Theoretical Computer Science 429: 21-29.artikel in tijdschrift (refereed)
  • Kleijn J. & Koutny M. (2012), Localities in systems with a/sync communication, Theoretical Computer Science 429: 185-192.artikel in tijdschrift (refereed)
  • 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. (Red.) Biomolecular Information Processing, From Logic Systems to Smart Sensors and Actuators. Weinheim, Germany: Wiley-VCH. 303-322.boekdeel
  • Kleijn J., Koutny M. & Pietkiewicz-Koutny M. (2012), Regions of Petri nets with a/sync connections, Theoretical Computer Science 454: 189-198.artikel in tijdschrift (refereed)
  • Ehrenfeucht A., Kleijn J., Koutny M. & Rozenberg G. (2012), Reaction Systems: A Natural Computing Approach to the Functioning of Living Cells. In: Zenil H. (Red.) A Computable Universe, Understanding and Exploring Nature as Computation: World Scientific.boekdeel
  • Kleijn J., Koutny M., Pietkiewicz-Koutny M. & Rozenberg G. (2012), Petri Net Synthesis and Membrane Systems. In: Aman B., Ciobanu G. (Red.) Pre-Proceedings MeCBIC 2012. 7-8.congresbijdrage (refereed)
  • Kleijn J., Koutny M., Pietkiewicz-Koutny M. & Rozenberg G. (2012), Membrane Systems and Petri Net Synthesis. In: Ciobanu G. (Red.) Proceedings 6th Workshop on Membrane Computing and Biologically Inspired Process Calculi Electronic Proceedings in Theoretical Computer Science. 1-13.congresbijdrage (refereed)
  • Ehrenfeucht A., Kleijn J., Koutny M. & Rozenberg G. (2012), Minimal reaction systems. In: Priami C., Petre I., Vink E. de (Red.) Transactions on Computational Systems Biology XIV Lecture Notes in Computer Science: Springer. 102-122.congresbijdrage (refereed)
  • Carvalho R.V., Kleijn J., Meijer A.H. & Verbeek F.J. (2012), Modeling innate immune response to early mycobacterium infection., Computational and Mathematical Methods in Medicine 2012: 1-12.artikel in tijdschrift (refereed)
  • Bertens L.M.F., Kleijn J. & Verbeek F.J. (2012), Biomodelling and Petri Nets, Eureka magazine: 6-8.bijdrage in dag-/weekblad of tijdschrift
  • Kleijn J., Koutny M., Pietkiewicz-Koutny M. & Rozenberg G. (2012), Membrane Systems and Petri Net Synthesis: University of Newcastle-upon-Tyne, UK.rapport
  • Jensen K., Aalst W.M.P. van der, Ajmone Marsan M., Franceschinis G., Kleijn H.C.M. & Kristensen L.M. (Red.) (2012), Transactions on Petri Nets and Other Models of Concurrency VI. Heidelberg Berlin: Springer.boekredactie
  • Rafael V. Carvalho, Jetty Kleijn, Annemarie H. Meijer & Fons J. Verbeek (2012), Modeling Innate Immune Response to Early Mycobacterium Infection, Computational and Mathematical Methods in Medicine 2012: 1-12.artikel in tijdschrift (refereed)
  • Kleijn J., Koutny M. & Rozenberg G. (2011), Petri Nets and Bio-Modelling and how to benefit from their synergy. In: Fifth Workshop on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC 2011). Fontainebleau, France.congresbijdrage (refereed)
  • Kleijn J., Koutny M. & Rozenberg G. (2011), Modelling Reaction Systems with Petri Nets. In: Heiner M., Matsuno H. (Red.) International Workshop on Biological Processes & Petri Nets (BioPPN-2011) CEUR Workshops proceedings. 36-52.congresbijdrage (refereed)
  • Kleijn J., Koutny M., Pietkiewicz-Koutny M. & Rozenberg G. (2011), Classifying Boolean Nets for Region-based Synthesis. In: Desel J., Yakovlev A. (Red.) Proceedings of the Workshop on Applications of Region Theory 2011 CEUR Workshops proceedings. 5-21.congresbijdrage (refereed)
  • Kleijn J. & Koutny M. (2011), Membrane Systems with Qualitative Evolution Rules, Fundamenta informaticae 110: 217-230.artikel in tijdschrift (refereed)
  • 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.rapport
  • 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.rapport
  • 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.rapport
  • 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.rapport
  • 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.rapport
  • 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.rapport
  • 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.rapport
  • 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.rapport
  • Kleijn J. & Koutny M. (2011), Causality in Extensions of Petri Nets: School of Computing Science, University of Newcastle upon Tyne.rapport
  • Kleijn J. & Koutny M. (2011), Causality in Structured Occurrence Nets. In: Jones C.B., Lloyd J.L. (Red.) Festschrift Randell: Springer. 283-297.boekdeel
  • Kleijn J. & Koutny M. (2011), The Mutex Paradigm of Concurrency. In: Kristensen L.M., Petrucci L. (Red.) Proceedings Applications and theory of Petri Nets, 32nd International Conference Lecture notes in Computer Science: Springer. 228-247.congresbijdrage (refereed)
  • Kleijn J., Koutny M. & Rozenberg G. (2011), Petri Nets for Biologically Motivated Computing, Scientific Annals of Computer Science 21(2): 199-225.artikel in tijdschrift (refereed)
  • van der Vlugt S., Kleijn J. & Koutny M. (2011), Coverability and Inhibitor Arcs: an example, Petri Net Newsletter 79: 7-12.artikel in tijdschrift (refereed)
  • 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.rapport
  • 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.rapport
  • Kleijn J., Koutny M. & Pietkiewicz-Koutny M. (2011), Regions of Petri Nets with a/synch Connections: University of Newcastle-upon-Tyne, UK.rapport
  • Kleijn J., Koutny M., Pietkiewicz-Koutny M. & Rozenberg G. (2011), Step Semantics of Boolean Sets: University of Newcastle-upon-Tyne, UK.rapport
  • Kleijn J. & Koutny M. (2011), Causality in Extensions of Petri Nets. University of Newcastle-upon-Tyne, UK: School of Computing.rapport
  • Kleijn Jetty & Koutny M. (2012), Step coverability algorithms for communicating systems, Science of Computer Programming 77: 955-967.artikel in tijdschrift (refereed)
  • Kleijn J. & Koutny M. (2010), Applying Step Coverability Trees to Communicating Component-Based Systems. In: Arbab F., Sirjani M. (Red.) Fundamentals of Software Engineering (FSEN 2009) Lecture notes in Computer Science: Springer. 178-193.congresbijdrage (refereed)
  • Kleijn J. & Koutny M. (2010), Petri nets and membrane computing (Chapter 15). In: Paun G., Rozenberg G., Salomaa A. (Red.) The Oxford Handbook of Membrane Computing: Oxford University Press. 389-412.boekdeel
  • Bertens L.M.F., Kleijn J., Koutny M. & Verbeek F.J. (2010), Modelling Gradients Using Petri Nets. In: Proceedings International Workshop on Biological Processes & Petri Nets (BioPPN) Braga, Portugal, June 21 2010. 55-69.congresbijdrage (refereed)
  • Kleijn J. & Koutny M. (2010), Petri Nets with Localities and Testing. In: Lilius J., Penczek W. (Red.) Applications and Theory of Petri Nets, 31st International Conference (PETRI NETS 2010) Lecture Notes in Computer Science. 19-38.congresbijdrage (refereed)
  • Bertens L.M.F., Kleijn H.C.M., Koutny M. & Verbeek F.J. (2010), Modelling Gradients Using Petri Nets: Universiteit Leiden.rapport
  • Janicki R., Kleijn Jetty & Koutny M. (2010), Quotient Monoids and Concurrent Behaviours. In: Mart\'{i}n-Vide C. (Red.) Scientific Applications of Language Methods: World Scientific. 313-386.boekdeel
  • Beek M.H. ter & Kleijn J. (2009), Associativity of Infinite Synchronized Shuffles and Team Automata, Fundamenta informaticae 91: 437-461.artikel in tijdschrift (refereed)
  • Kleijn J. & Koutny M. (2009), A Petri net model for membrane systems with dynamic structure, Natural computing 8: 781-796.artikel in tijdschrift (refereed)
  • Kleijn J. & Koutny M. (2009), Applying Step Coverability Trees to Communicating Component-Based Systems. Newcastle, UK: School of Computing Science, Newcastle University, UK.rapport
  • Kleijn J. & Koutny M. (2009), Petri Nets and Membrane Computing. In: G. Paun G. Rozenberg A. Salomaa (Red.) The Oxford Handbook of Membrane Computing: Oxford University press. 389-412.boekdeel
  • 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. onbekend: LIACS.rapport
  • Kleijn J. & Koutny M. (2008), Processes of membrane systems with promoters and inhibitors, Theoretical Computer Science 404: 112-126.artikel in tijdschrift (refereed)
  • Kleijn J. & Koutnny M. (2008), Concurrency metHods: Issues aNd Applications. In: 29th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency Lecture notes in Computer Science: Springer.congresbijdrage (refereed)
  • Beek M.H. ter & Kleijn J. (2007), Infinite Unfair Shuffles and Associativity, Theoretical Computer Science 380: 401-410.artikel in tijdschrift (refereed)
  • Kleijn J. & Koutny M. (2007), Processes of Petri Nets with Range testing, Fundamenta informaticae 80: 199-219.artikel in tijdschrift (refereed)
  • Kleijn J. (2007), Petri Nets and Other Models of Concurrency. In: Kleijn, A., Yakovlev, A. (Red.) ICATPN 2007 Lecture notes in Computer Science.congresbijdrage (refereed)
  • Chothia T. & Kleijn J. (2006), Q-Automata: Modelling the Resource Usage of concurrent components. In: C.Canal, M.Vrioli (Red.) foundations of Coordination Languages and Software Architectures. Univ of Malaga: Dept of computer Science. 151-165.boekdeel
  • Kleijn J. & Koutny M. (2006), Infinite Process Semantics of Inhibitor Nets. In: S. Donatelli, P.S. Thiagarajan (Red.) Petri Nets and Other Models of Concurrency Lecture notes in Computer Science. 282-301.congresbijdrage (refereed)
  • Kleijn J. & Koutny M. (2006), Synchrony and Asynchrony in Membrane Systems. In: H.J. Hoogeboom, G. Paun, G. Rozenberg, A. Salomaa (Red.) Membrane Computing, Seventh International Workshop Lecture notes in Computer Science. 66-85.congresbijdrage (refereed)
  • Kleijn J., Koutny M. & Rozenberg G. (2006), Process Semantics for Membrane Systems, Journal of Automata, Languages and Combinatorics 11: 321-340.artikel in tijdschrift (refereed)
  • Kleijn J., Koutny M. & Rozenberg G. (2006), Towards a Petri net semantics for membrane systems. In: Paun G., Rozenberg G., Freund R., Salomaa A. (Red.) Membrane Computing: 6th International Workshop, WMC 2005 Lecture notes in Computer Science: Springer. 292-309.congresbijdrage (refereed)
  • Beek M.H. ter & Kleijn J. (2005), Modularity for Teams of I/O Automata, Information Processing Letters 95: 487-495.artikel in tijdschrift (refereed)
  • Beek M.H. ter & Kleijn J. (2005), Infinite Unfair Shuffles and Associativity. In: Brlek S., Reutenauer C. (Red.) Proceedings of the 5th International Conference on Words (WORDS'05). Montréal: Université du Québec à Montréal, Montréal. 129-146.congresbijdrage (refereed)
  • Kleijn J. & Koutny M. (2002), Causality Semantics of Petri Nets with Weighted Ibhibitor Arcs. In: Brim, L., Jancar, P., Kretinsky, M., Kucera, A. (Red.) Concur 2002 - 13th International Conference Lecture notes in Computer Science. 531-546.congresbijdrage (refereed)
  • Beek M.H. ter & Kleijn J. (2002), Petri Net Control for Grammar Systems. In: Brauer, W., Ehrig, H., Karhumaki, J., Salomaa, A. (Red.) Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg: Springer Verlag. 220-243.boekdeel
  • Kleijn J., Morin R. & Rozoy B. (1998), Event Structures for Local Traces, Electronic Notes in Theoretical Computer Science (ENTCS) 16(2).artikel in tijdschrift (refereed)
  • Kleijn J., Morin R. & Rozoy B. (1998), Event Structures in Local Traces. onbekend: LIACS.rapport

Geen relevante nevenwerkzaamheden