Jetty Kleijn

Professor Emeritus Theoretical Computing Science

Name: Prof.dr. H.C.M. Kleijn
Telephone: +31 71 527 2727
E-mail: 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

News

03 June 2022 RISE Award given to Emeritus Professor Jetty Kleijn

Book: Paradigms of Concurrency

In the media

Jetty Kleijn about Informatics Ladies Day on Sleutelstad FM

See for more information my personal webpage

Professor Emeritus Theoretical Computing Science

Science
Leiden Inst of Advanced Computer Science

Contact

Professor Theoretical Computing Science

Science
Leiden Inst of Advanced Computer Science

Work address

Snellius
Niels Bohrweg 1
2333 CA Leiden

Contact

Genova D., Hoogeboom H.J. & Klein H.C.M. (2021), Comparing reactions in reaction systems, Theoretical Computer Science 881: 83-96. article in journal: refereed
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. (2018), Evolving Reaction Systems, Conference Booklet of the first International Workshop on Reaction Systems, Milan, Italy (2018) : .
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. & 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.
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.
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.
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.
Kleijn H.C.M., Koutny M. & Pietkiewicz-Koutny M. (2017), Signal set tissue systems and overlapping localities, Theoretical Computer Science 701: 132-145.
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), 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.
Kleijn H.C.M., Koutny M., Pietkiewicz-Koutny M. & Rozenberg G. (2017), Applying regions, Theoretical Computer Science 658: 205-215.
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.
Janicki R., Kleijn H.C.M., Koutny M. & Mikulski L. (2017), Invariant Structures and Dependence Relations, Fundamenta Informaticae 155(1-2): 1-29.
Aman B., Kleijn H.C.M., Koutny M. & Lucanu D. (2017), Methods for Distributed and Concurrent Systems, Fundamenta Informaticae 153(1-2): v-vi.
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.
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.
Kleijn H.C.M. (2017), Structure of Behaviour in Extended EN Systems, : 33.
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.
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.
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 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.
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.
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.
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.
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.
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.
Janicki R., Kleijn J., Koutny M. & Mikulski Ł. (2016), Step Traces, Acta Informatica 53(1): 35-65.
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.
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 H.C.M., Koutny M. & Mikulski L. (2015), Characterising Concurrent Histories, Fundamenta Informaticae 139(1): 21-42.
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.
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.
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.
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.
Beek M.H. ter & Kleijn J. (2014), On Distributed Cooperation and Synchronised Collaboration, Journal of Automata, Languages and Combinatorics 19(1-4): 17-32.
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. & 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.
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.
Janicki R., Kleijn J., Koutny M. & Mikulski L. (2013), Causal Structures for General Concurrent Behaviours: University of Newcastle-upon-Tyne, UK.
Carmona J.A. & Kleijn J. (2013), Compatibility in a multi-component environment, 484: 1-15.
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.
Kleijn J. & Koutny M. (2013), Mutex Causality in Processes and Traces of General Elementary Nets, Fundamenta Informaticae 122: 119-146.
Kleijn J., Koutny M., Pietkiewicz-Koutny M. & Rozenberg G. (2013), Step Semantics of Boolean Nets, Acta Informatica 50: 15-39.
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.
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 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.
Kleijn J., Koutny M., Pietkiewicz-Koutny M. & Rozenberg G. (2012), Membrane Systems and Petri Net Synthesis: University of Newcastle-upon-Tyne, UK.
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.
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.
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.
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.
Kleijn J., Koutny M. & Pietkiewicz-Koutny M. (2012), Regions of Petri nets with a/sync connections, 454: 189-198.
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.
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.
Jensen K., Donatelli S. & Kleijn J. (Eds.) (2012), Transactions on Petri Nets and Other Models of Concurrency V. Heidelberg: Springer Verlag.
Beek M.H. ter & Kleijn J. (2012), Vector team automata, 429: 21-29.
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. (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. (2011), Causality in Structured Occurrence Nets. In: Jones C.B. & Lloyd J.L. (Eds.), Festschrift Randell: Springer. 283-297.
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., 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.
Van der Vlugt S., Kleijn J. & Koutny M. (2011), Coverability and Inhibitor Arcs: an example, Petri Net Newsletter 79: 7-12.
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. (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), Membrane Systems with Qualitative Evolution Rules, Fundamenta Informaticae 110: 217-230.
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. & 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. (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. & Rozenberg G. (2011), Petri Nets for Biologically Motivated Computing, Scientific Annals of Computer Science 21(2): 199-225.
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.
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.
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. & Pietkiewicz-Koutny M. (2011), Regions of Petri Nets with a/synch Connections: University of Newcastle-upon-Tyne, UK.
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.
Kleijn J., Koutny M., Pietkiewicz-Koutny M. & Rozenberg G. (2011), Step Semantics of Boolean Sets: University of Newcastle-upon-Tyne, UK.
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. (2011), The Mutex Paradigm of Concurrency. University of Newcastle upon Tyne, UK: School of Computing Science, University of Newcastle upon Tyne.
Kleijn Jetty & Koutny M. (2012), Step coverability algorithms for communicating systems, Science of Computer Programming 77: 955-967.
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.
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 and membrane computing (Chapter 15). In: Paun G., Rozenberg G. & Salomaa A. (Eds.), The Oxford Handbook of Membrane Computing: Oxford University Press. 389-412.
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.
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.
Kleijn J. & Koutny M. (2009), A Petri net model for membrane systems with dynamic structure, Natural computing 8: 781-796.
Kleijn J. & Koutny M. (2009), Applying Step Coverability Trees to Communicating Component-Based Systems. Newcastle, UK: School of Computing Science, Newcastle University, UK.
Beek M.H. ter & Kleijn J. (2009), Associativity of Infinite Synchronized Shuffles and Team Automata, Fundamenta Informaticae 91: 437-461.
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.
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.
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.
Kleijn J. & Koutny M. (2008), Processes of membrane systems with promoters and inhibitors, 404: 112-126.
Beek M.H. ter & Kleijn J. (2007), Infinite Unfair Shuffles and Associativity, 380: 401-410.
Kleijn J. (2007), Petri Nets and Other Models of Concurrency. Kleijn A. & Yakovlev A. (Eds.), ICATPN 2007. .
Kleijn J. & Koutny M. (2007), Processes of Petri Nets with Range testing, Fundamenta Informaticae 80: 199-219.
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. & Rozenberg G. (2006), Process Semantics for Membrane Systems, Journal of Automata, Languages and Combinatorics 11: 321-340.
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), 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.
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.
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.
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., Morin R. & Rozoy B. (1998), Event Structures for Local Traces, Electronic Notes in Theoretical Computer Science (ENTCS) 16(2): .
Kleijn J., Morin R. & Rozoy B. (1998), Event Structures in Local Traces. onbekend: LIACS.

No relevant ancillary activities

This website uses cookies. More information.