Leiden University - Leiden Institute of Advanced Computer Science (LIACS)

Publications of Jetty Kleijn

Jetty Kleijn at the DBLP Bibliography Server

M.H. ter Beek, R. Hennicker, J. Kleijn.: Team Automata@Work: On Safe Communication.
In: International Conference on Coordination Languages and Models (COORDINATION 2020), Lecture Notes in Computer Science, v. 12134, 77-85, 2020.
doi:10.1007/978-3-030-50029-0_5
M.H. ter Beek, R. Hennicker, J. Kleijn.: Compositionality of Safe Communication in Systems of Team Automata.
In: Theoretical Aspects of Computing (ICTAC 2020), Lecture Notes in Computer Science, v. 12545, 200-220, 2020.
doi:10.1007/978-3-030-64276-1_11
D. Genova, H.J. Hoogeboom, J. Kleijn.: Comparing Reactions in Reaction Systems.
Theoretical Computer Science (2020) in press.
doi:10.1016/j.tcs.2020.11.050
J. Kleijn, M. Koutny, L. Mikulski.: Reaction Systems and Enabling Equivalence.
Fundamenta Informaticae 171 (2020) 261-277.
doi:10.3233/FI-2020-1882
J. Kleijn, M. Koutny, G. Rozenberg.: Plug-in context providers for reaction systems.
Theoretical Computer Science 834 (2020) 26-42.
doi:10.1016/j.tcs.2020.01.033
J. Kleijn, L. Leustean, D. Lucanu (eds.).: Special Issue on The Working Formal Methods Symposium (FROM 2018). Fundamenta Informaticae, volume 173, 2020.
doi:10.3233/FI-2020-1917
P.M. Kwantes, J. Kleijn.: On Discovering Distributed Process Models the case of asynchronous communication.
International Workshop on Algorithms & Theories for the Analysis of Event Data (ATAED@Petri Nets 2020). CEUR Workshop Proceedings (2020) 49-65.
pdf .
R. Janicki, J. Kleijn, M. Koutny, L. Mikulski.: Classifying invariant structures of step traces.
Journal of Computer and System Sciences 104 (2019) 297-322.
doi:10.1016/j.jcss.2017.05.002
N. Khakpour, J. Kleijn, M. Sirjani.: A Formal Model to Integrate Behavioral and Structural Adaptations in Self-adaptive Systems.
In: Fundamentals of Software Engineering (FSEN 2019), Lecture Notes in Computer Science, v. 11761, 3-19, 2019.
doi:10.1007/978-3-030-31517-7_1
V. Khomenko, J. Kleijn, W. Penczek, O.H. Roux (eds.).: Application and Theory of Petri Nets and Concurrency: Selected Papers from Petri Nets 2018. Fundamenta Informaticae, volume 169, 2019.
doi:10.3233/FI-2019-1836
R. Janicki, J. Kleijn, L. Mikulski.: A Precise Characterisation of Step Traces and Their Concurrent Histories.
Scientific Annals of Computer Science 28 (2018) 237-267.
doi:10.7561/SACS.2018.2.237
J. Kleijn, M. Koutny, L. Mikulski, G. Rozenberg.: Reaction Systems, Transition Systems, and Equivalences.
In: Adventures Between Lower Bounds and Higher Altitudes, Lecture Notes in Computer Science, v. 11011, 63-84, 2018.
doi:10.1007/978-3-319-98355-4_5
P.M. Kwantes, J. Kleijn.: On the Synthesis of Industry Level Process Models from Enterprise Level Process Models..
Algorithms & Theories for the Analysis of Event Data 2018 (ATAED 2018). CEUR Workshop Proceedings 2115 (2018) 6-22.
pdf .
B. Aman, J. Kleijn, M. Koutny, D. Lucanu (eds.).: Methods for Distributed and Concurrent Systems: Special Issue on the occasion of the 60th Birthday of Professor Gabriel Ciobanu. Fundamenta Informaticae, volume 153(1-2), 2017.
doi:10.3233/FI-2017-1528
M.H. ter Beek, J. Carmona, R. Hennicker, J. Kleijn.: Communication Requirements for Team Automata.
In: Coordination Models and Languages (COORDINATION 2017) (J.M. Jacquet, M. Massink, eds.), Lecture Notes in Computer Science, v. 10319, Springer, Cham, 2017.
doi:10.1007/978-3-319-59746-1_14
A. Ehrenfeucht, J. Kleijn, Maciej Koutny, G. Rozenberg.: Evolving reaction systems.
Theoretical Computer Science 682 (2017) 79-99.
doi:10.1016/j.tcs.2016.12.031
R. Janicki, J. Kleijn, M. Koutny, L. Mikulski.: Alphabets of Acyclic Invariant Structures.
Fundamenta Informaticae 154 (2017) 207-224.
doi:10.3233/FI-2017-1562
R. Janicki, J. Kleijn, M. Koutny, L. Mikulski.: Invariant Structures and Dependence Relations.
Fundamenta Informaticae 155 (2017) 1-29.
doi:10.3233/FI-2017-1574
R. Janicki, J. Kleijn, M. Koutny, L. Mikulski.: On Synthesising Step Alphabets for Acyclic Invariant Structures.
In: ATAED@Petri Nets/ACSD 2017, 76-88, 2017.
paper (pdf) .
J. Kleijn, M. Koutny, M. Pietkiewicz-Koutny.: Signal set tissue systems and overlapping localities.
Theoretical Computer Science 701 (2017) 132-145.
doi:10.1016/j.tcs.2017.02.036
J. Kleijn, M. Koutny, M. Pietkiewicz-Koutny, G. Rozenberg.: Applying regions.
Theoretical Computer Science 658 (2017) 205-215.
doi:10.1016/j.tcs.2016.01.040
M. Koutny, J. Kleijn, W. Penczek (eds.).: Transactions on Petri Nets and Other Models of Concurrency XII. Lecture Notes in Computer Science, volume 10470, Springer-Verlag, 2017.
doi:10.1007/978-3-662-55862-1
M.H. ter Beek, J. Carmona, J. Kleijn.: Conditions for Compatibility of Components - The Case of Masters and Slaves.
In: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. (ISoLA 2016) (T. Margaria, B. Steffen, eds.), Lecture Notes in Computer Science, v. 9952, Springer, 784-805, 2016.
doi:10.1007/978-3-319-47166-2_55
L.M.F. Bertens, J. Kleijn, S. Hille, M. Heiner, M. Koutny, F.J. Verbeek.: Modeling Biological Gradient Formation: Combining Partial Differential Equations and Petri Nets.
Natural computing 154 (2016) 665-675.
R. Janicki, J. Kleijn, M. Koutny, L. Mikulski.: Step Traces.
Acta Informatica 53 (2016) 35-65.
doi:10.1007/s00236-015-0244-z
J. Kleijn, M. Koutny, M. Pietkiewicz-Koutny.: Synthesis of Petri Nets with Whole-Place Operations and Localities.
Lecture Notes in Computer Science, v. 9965, Springer, 103-120, 2016.
doi:10.1007/978-3-319-46750-4_7
J. Kleijn, Maciej Koutny, M. Pietkiewicz-Koutny.: Regions of Affine Nets.
In: This Asynchronous World. Essays dedicated to Alex Yakovlev on the occasion of his 60th birthday (A. Mokhov, ed.), Newcastle University, Newcastle upon Tyne, 182-191, 2016.
async.org.uk .
M. Koutny, J. Desel, J. Kleijn (eds.).: Transactions on Petri Nets and Other Models of Concurrency (ToPNoC XI). Lecture Notes in Computer Science, Springer, 2016.
doi:10.1007/978-3-662-53401-4
M.H. ter Beek, J. Carmona, J. Kleijn.: Communication and Compatibility in Systems of Systems: Correctness-by-Construction..
ERCIM News 102 (2015) 21.
abstract & ftp .
M.H. ter Beek, J. Kleijn.: Shuffles and Synchronised Shuffles: A Survey.
In: Discrete Mathematics and Computer Science (G. Paun, G. Rozenberg, A. Salomaa, eds.), Publishing House of the Romanian Academy, Bucharest, 37-50, 2015.
R.V. Carvalho, J. van den Heuvel, J. Kleijn, F.J. Verbeek.: Coupling of Petri Net Models of the Mycobacterial Infection Process and Innate Immune Response.
Computation 3 (2015) 150-176.
doi:10.3390/computation3020150
J.M. Colom, J. Desel, J. Kleijn (eds.).: Special Issue: Petri Nets 2013. Fundamenta Informaticae, volume 137(1), 2015.
doi:10.3233/FI-2015-1167
R. Janicki, J. Kleijn, M. Koutny, L. Mikulski.: Order Structures for Subclasses of Generalised Traces.
In: Language and Automata Theory and Applications, LATA 2015 (A-H. Dediu etal, ed.), Lecture Notes in Computer Science, v. 8977, 689-700, 2015.
doi:10.1007/978-3-319-15579-1_54
R. Janicki, J. Kleijn, M. Koutny, L. Mikulski.: Characterising Concurrent Histories.
Fundamenta Informaticae 139 (2015) 21-42.
doi:10.3233/FI-2015-1224
R. Janicki, J. Kleijn, M. Koutny, L. Mikulski.: Relating Step Alphabets and Invariant Structures.
School of Computing Science, University of Newcastle upon Tyne, UK., 2015.
Technical Report CS-TR-1489: .
J. Kleijn.: Concurrency, Histories and Nets [invited lecture].
In: Machines, Computations and Universality (J. Durand-Lose, B. Nagy, eds.), Lecture Notes in Computer Science, v. 9288, Springer, XII-XIV, 2015.
J. Kleijn, M. Koutny.: Set Tissue Systems with Instant Signalling.
In: Multidisciplinary Creativity (M. Gheorghe, I. Petre, M.J. Perez-Jimenez, Rozenberg, A. Salomaa, eds.), Spandugino, 105-117, 2015.
P.M. Kwantes, P. van Gorp, J. Kleijn, A. Rensink.: Towards Compliance Verification Between Global and Local Process Models.
In: Graph Transformation (ICGT 2015) (F. Parisi-Presicce, B. Westfechtel, eds.), Lecture Notes in Computer Science, v. 9151, Springer. Cham, 221-236, 2015.
doi:10.1007/978-3-319-21145-9_14
M.H. ter Beek, J.Kleijn.: Shuffles and Synchronised Shuffles: A Survey.
In: Discrete Mathematics and Computer Science (G. Paun, G. Rozenberg, A. Salomaa, eds.), Publishing House of the Romanian Academy, Bucharest, 37-50, 2014.
M.H. ter Beek, J. Kleijn.: On Distributed Cooperation and Synchronised Collaboration.
Journal of Automata, Languages and Combinatorics 19 (2014) 17-32.
R.V. Carvalho, J. Kleijn, F.J. Verbeek.: A multi-scale extensive Petri net model of the bacterial-macrophage interaction.
In: Proceedings 5th International Workshop on Biological Processes & Petri Nets (BioPPN 2014) (M. Heiner, ed.), CEUR Workshop Proceedings, v. 1159, 15-29, 2014.
S. Haddad, J. Kleijn, L. Pomello (eds.).: Application and Theory of Petri Nets and Concurrency, 2012. Fundamenta Informaticae, volume 131, 2014.
doi:10.3233/FI-2014-1001
R. Janicki, J. Kleijn, M. Koutny, L. Mikulski.: Generalising Traces.
School of Computing Science, University of Newcastle upon Tyne, 2014.
Technical Report CS-TR No 1436 .
R. Janicki, J. Kleijn, M. Koutny, L. Mikulski.: Order Structures for Subclasses of Generalised Traces.
School of Computing Science, University of Newcastle upon Tyne, 2014.
Technical Report CS-TR No 1437 .
J. Kleijn, M. Koutny, M. Pietkiewicz-Koutny.: Tissue systems and Petri net synthesis.
In: Transactions on Petri Nets and Other Models of Concurrency (ToPNoC) IX (M. Koutny, S. Haddad, A. Yakovlev, eds.), Lecture Notes in Computer Science, v. 8910, 124-146, 2014.
doi:10.1007/978-3-662-45730-6_7
L.M.F. Bertens, J. Kleijn, S.C. Hille, M. Koutny, M. Heiner, F.J. Verbeek.: Modeling biological gradient formation: combining partial differential equations and Petri nets.
School of Computing Science, University of Newcastle upon Tyne, 2013.
Technical Report CS-TR No 1379 .
J. Carmona, J. Kleijn.: Compatibility in a multi-component environment.
Theoretical Computer Science 484 (2013) 1-15.
doi:10.1016/j.tcs.2013.03.006
R. Janicki, J. Kleijn, M. Koutny, L. Mikulski.: Causal Structures for General Concurrent Behaviours.
In: Proceedings of the 22nd International Workshop on Concurrency, Specification and Programming (CS&P 2013) (M. Szczuka, L. Czaja, M. Kacprzak, eds.), CEUR Workshop Proceedings, v. 1032, CEUR-WS.org, 193-205, 2013.
School of Computing Science, University of Newcastle upon Tyne, Technical Report Series 1378, 2013 .
J. Kleijn, M. Koutny.: Mutex Causality in Processes and Traces of General Elementary Nets.
Fundamenta Informaticae 122 (2013) 119-146.
Also: School of Computing Science, University of Newcastle upon Tyne, Technical Report Series 1286, 2011 .
J. Kleijn, M. Koutny.: Causality in Extensions of Petri Nets.
In: Transactions on Petri Nets and Other Models of Concurrency (ToPNoC) VII (K. Jensen, W.M.P. van der Aalst, G. Balbo, M. Koutny, K. Wolf, eds.), Lecture Notes in Computer Science, v. 7480, 225-254, 2013.
doi:10.1007/978-3-642-38143-0_6
Also: School of Computing Science, University of Newcastle upon Tyne, Technical Report Series 1294, 2011 .
J. Kleijn, M. Koutny, M. Pietkiewicz-Koutny.: Synthesis of Tissue Systems.
In: Proceedings Third Workshop on Application of Region Theory (ART), 1-16, 2013.
J. Kleijn, M. Koutny, M. Pietkiewicz-Koutny, G. Rozenberg.: Step semantics of boolean nets.
Acta Informatica 50 (2013) 15-39.
doi:10.1007/s00236-012-0170-2
Also: School of Computing Science, University of Newcastle upon Tyne, Technical Report Series 1298, 2011 .
M.H. ter Beek, J. Kleijn.: Vector team automata.
Theoretical Computer Science 429 (2012) 21-29.
doi:10.1016/j.tcs.2011.12.020
L.M.F. Bertens, J. Kleijn, F.J. Verbeek.: Biomodelling and Petri Nets.
Eureka 35 (jaargang 10) (januari 2012) 6-8.
R.V. Carvalho, J. Kleijn, A.H. Meijer, F.J. Verbeek.: Modeling Innate Immune Response to Early Mycobacterium Infection.
Computational and Mathematical Methods in Medicine 2012 (2012) 12p.
doi:10.1155/2012/790482
A. Ehrenfeucht, J. Kleijn, M. Koutny, G. Rozenberg.: Qualitative and Quantitative Aspects of a Model for Processes Inspired by the Functioning of the Living Cell.
In: Biomolecular Information Processing, From Logic Systems to Smart Sensors and Actuators (E. Katz, ed.), Wiley-VCH, Weinheim, 303-322, 2012.
Also: School of Computing Science, University of Newcastle upon Tyne, Technical Report Series 1305, 2011 .
A. Ehrenfeucht, J. Kleijn, M. Koutny, G. Rozenberg.: Reaction Systems: A Natural Computing Approach to the Functioning of Living Cells.
In: A Computable Universe, Understanding and Exploring Nature as Computation (H. Zenil, ed.), World Scientific, 2012.
A. Ehrenfeucht, J. Kleijn, M. Koutny, G. Rozenberg.: Relevance of Entities in Reaction Systems.
In: Languages Alive (H. Bordihn, M. Kutrib, B. Truthe, eds.), Lecture Notes in Computer Science, v. 7300, Springer, 44-55, 2012.
doi:10.1007/978-3-642-31644-9_3
Also: School of Computing Science, University of Newcastle upon Tyne, Technical Report Series 1295, 2011 .
A. Ehrenfeucht, J. Kleijn, M. Koutny, G. Rozenberg.: Minimal reaction systems.
In: Transactions on Computational Systems Biology XIV (C. Priami, I. Petre, E. de Vink, eds.), Lecture Notes in Computer Science, v. 7625, 102-122, 2012.
doi:10.1007/978-3-642-35524-0_5
K. Jensen, W.M.P. van der Aalst, M. Ajmone Marsan, G. Franceschinis, J. Kleijn, L.M. Kristensen (eds.).: Transactions on Petri Nets and Other Models of Concurrency VI. Lecture Notes in Computer Science, volume 7400, Springer Verlag, Heidelberg, 2012.
doi:10.1007/978-3-642-35179-2
K. Jensen, S. Donatelli, J. Kleijn (eds.).: Transactions on Petri Nets and Other Models of Concurrency V. Lecture Notes in Computer Science, volume 6900, Springer Verlag, Heidelberg, 2012.
doi:10.1007/978-3-642-29072-5
J. Kleijn.: Petri Nets at Leiden University.
Petri Net Newsletter 80 (april 2012) 11-14.
J. Kleijn, M. Koutny.: Localities in systems with a/sync communication.
Theoretical Computer Science 429 (2012) 185-192.
doi:10.1016/j.tcs.2011.12.038
Also: School of Computing Science, University of Newcastle upon Tyne, Technical Report Series 1285, 2011 .
J. Kleijn, M. Koutny.: Step coverability algorithms for communicating systems.
Science of Computer Programming 77 (2012) 955-967.
doi:10.1016/j.scico.2010.11.003
J. Kleijn, M. Koutny, M. Pietkiewicz-Koutny.: Regions of Petri nets with a/sync connections.
Theoretical Computer Science 454 (2012) 189-198.
doi:10.1016/j.tcs.2012.04.016
Also: School of Computing Science, University of Newcastle upon Tyne, Technical Report Series 1297, 2011 .
J. Kleijn, M. Koutny, M. Pietkiewicz-Koutny, G. Rozenberg.: Petri Net Synthesis and Membrane Systems.
In: Pre-Proceedings MeCBIC 2012 (B. Aman, G. Ciobanu, eds.), 7-8, 2012.
J. Kleijn, M. Koutny, M. Pietkiewicz-Koutny, G. Rozenberg.: Membrane Systems and Petri Net Synthesis.
In: Proceedings 6th Workshop on Membrane Computing and Biologically Inspired Process Calculi (G. Ciobanu, ed.), Electronic Proceedings in Theoretical Computer Science, v. 100, 1-13, 2012.
doi:10.4204/EPTCS.100.1
Also: School of Computing Science, University of Newcastle upon Tyne, Technical Report Series 1356, 2012 .
J. Kleijn, M. Koutny.: Causality in Structured Occurrence Nets.
In: Festschrift Randell, (C.B. Jones, J.L. Lloyd, eds.), Lecture Notes in Computer Science, v. 6875, 283-297, 2011.
Also: School of Computing Science Technical Report Series 1290, University of Newcastle upon Tyne, UK .
J. Kleijn, M. Koutny.: Membrane Systems with Qualitative Evolution Rules.
Fundamenta Informaticae 110 (2011) 217-230.
doi:10.3233/FI-2011-539
Also: School of Computing Science Technical Report Series 1287, University of Newcastle upon Tyne, UK .
J. Kleijn, M. Koutny.: Mutex Causality in Processes and Traces of General Elementary Nets.
School of Computing Science, University of Newcastle upon Tyne, Technical Report Series 1286, 2011.
J. Kleijn, M. Koutny.: The Mutex Paradigm of Concurrency.
In: Proceedings Applications and Theory of Petri Nets, 32nd International Conference (PETRI NETS 2011) (L.M. Kristensen, L. Petrucci, eds.), Lecture Notes in Computer Science, v. 6709, 228-247, 2011.
doi:10.1007/978-3-642-21834-7_13
Also: School of Computing Science Technical Report Series 1289, University of Newcastle upon Tyne, UK .
J. Kleijn, M. Koutny, M. Pietkiewicz-Koutny, G. Rozenberg.: Classifying Boolean Nets for Region-based Synthesis.
In: Proceedings of the Workshop Applications of Region Theory 2011 (ART-2011) (J. Desel, A. Yakovlev, eds.), CEUR Workshop Proceedings, v. 725, 5-21, 2011.
CEUR-WS .
H.C.M. Kleijn, M. Koutny, G. Rozenberg.: 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, 2011.
ArXiv 1108.3422 .
J. Kleijn, M. Koutny, G. Rozenberg.: Petri Nets for Biologically Motivated Computing.
Scientific Annals of Computer Science 21 (2011) 199-225.
Also: School of Computing Science Technical Report Series 1284, University of Newcastle upon Tyne, UK .
J. Kleijn, M. Koutny, G. Rozenberg.: Modelling Reaction Systems with Petri Nets.
In: Proceedings of the International Workshop on Biological Processes & Petri Nets (BioPPN-2011) (M. Heiner, H. Matsuno, eds.), CEUR Workshop Proceedings, v. 724, 36-52, 2011.
CEUR-WS .
S. van der Vlugt, J. Kleijn, M. Koutny.: Coverability and Inhibitor Arcs: an example.
Petri Net Newsletter 79 (2011) 7-12.
Also: School of Computing Science Technical Report Series 1293, University of Newcastle upon Tyne, UK .
L.M.F. Bertens, J. Kleijn, M. Koutny, F.J. Verbeek.: Modelling Gradients Using Petri Nets.
In: Proceedings International Workshop on Biological Processes & Petri Nets (BioPPN) Braga, Portugal, June 21 2010, 55-69, 2010.
also LIACS Technical Report 2010-02, june 2010 .
R. Janicki, J. Kleijn, M. Koutny.: Quotient Monoids and Concurrent Behaviours.
In: Scientific Applications of Language Methods (C. Martín-Vide, ed.), Mathematics, Computing, Language, and Life: Frontiers in Mathematical Linguistics and Language Theory, v. 2, World Scientific, 313-386, 2010.
J. Kleijn, M. Koutny.: Petri nets and membrane computing (Chapter 15).
In: The Oxford Handbook of Membrane Computing (G. Paun, G. Rozenberg, A. Salomaa, eds.), Oxford University Press, 389-412, 2010.
J. Kleijn, M. Koutny.: Petri Nets with Localities and Testing.
In: Applications and Theory of Petri Nets, 31st International Conference (PETRI NETS 2010) (J. Lilius, W. Penczek, eds.), Lecture Notes in Computer Science, v. 6128, 19-38, 2010.
doi:10.1007/978-3-642-13675-7_3
J. Kleijn, M. Koutny.: Applying Step Coverability Trees to Communicating Component-Based Systems.
In: Fundamentals of Software Engineering (FSEN 2009) (F. Arbab, M. Sirjani, eds.), Lecture Notes in Computer Science, v. 5961, 178-193, 2010.
doi:10.1007/978-3-642-11623-0_10
also Technical Report CS-TR No 1134 .
M.H. ter Beek, J. Kleijn.: Associativity of Infinite Synchronized Shuffles and Team Automata.
Fundamenta Informaticae 91 (2009) 437-461.
doi:10.3233/FI-2009-0051
L.M.F. Bertens, H.J. Jansen, J. Kleijn, M. Koutny, F.J. Verbeek.: Using Petri Nets in Higher Level Developmental Biology: A case study on the AP axis development in Xenopus laevis - Extended Abstract -.
LIACS Technical Report 2009-03, 2009.
J. Kleijn, M. Koutny.: A Petri net model for membrane systems with dynamic structure.
Natural Computing 8 (2009) 781-796.
doi:10.1007/s11047-008-9101-0
also Technical Report CS-TR No 1119, School of Computing Science, Newcastle University, Sep 2008 .
J. Kleijn, M. Koutny (eds.).: CHINA 2008 (Concurrency metHods: Issues aNd Applications). Proceedings of Workshop held at Xidian University, Xi'an, China, June 2008.
also published as Technical Report CS-TR-1102, School of Computing Science, University of Newcastle, June 2008 .
J. Kleijn, M. Koutny.: Formal Languages and Concurrent Behaviours.
In: New Developments in Formal Languages and Applications (G. Bel-Enguix, M.D. Jiménez-López, C. Martín-Vide, eds.), Studies in Computational Intelligence, v. 113, Springer, 125-182, 2008.
doi:10.1007/978-3-540-78291-9_5
also Technical Report CS-TR No 1049, School of Computing Science, Newcastle University, Sep 2007 .
J. Kleijn, M. Koutny.: Processes of membrane systems with promoters and inhibitors.
Theoretical Computer Science 404 (2008) 112-126.
doi:10.1016/j.tcs.2008.04.006
J. Kleijn, M. Koutny.: Steps and Coverability in Inhibitor Nets.
In: Perspectives in Concurrency Theory, (K. Lodaya, M. Mukund, R Ramanujam, eds.), Universities Press, Hyderabad, India, 264-295, 2008.
also Technical Report CS-TR No 1118, School of Computing Science, Newcastle University, Sep 2008 .
J. Kleijn, M. Koutny.: Petri Nets and Membrane Computing.
School of Computing Science, Newcastle University, Sep 2008.
Technical Report CS-TR No 1117 .
J. Kleijn, A. Yakovlev (eds.).: Special Issue: Petri Nets 2007. Fundamenta Informaticae, volume 88(3), 2008.
M.H. ter Beek, J. Kleijn.: Infinite Unfair Shuffles and Associativity.
Theoretical Computer Science 380 (2007) 401-410.
doi:10.1016/j.tcs.2007.03.030
presented at WORDS'05 .
T. Chothia, J. Kleijn.: Q-Automata: Modelling the Resource Usage of Concurrent Components.
Proceedings of the Fifth International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2006). Electronic Notes in Theoretical Computer Science Volume 175 (June 2007) 153-167.
doi:10.1016/j.entcs.2007.03.009
J. Kleijn, M. Koutny.: Processes of Petri Nets with Range Testing.
Fundamenta Informaticae 80 (2007) 199-219.
TR (Newcastle, oct 2006) .
J. Kleijn, M. Koutny.: Formal Languages and Concurrent Behaviours.
School of Computing Science, Newcastle University CS-TR: 1049, Sep 2007.
published in 2008 . TR (Newcastle) .
J. Kleijn, A. Yakovlev (eds.).: Petri Nets and Other Models of Concurrency, ICATPN 2007. Lecture Notes in Computer Science, volume 4546, 2007.
doi:10.1007/978-3-540-73094-1
H.C.M. Kleijn, M. Koutny.: Infinite Process Semantics of Inhibitor Nets.
In: Petri Nets and Other Models of Concurrency - ICATPN 2006: 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (S. Donatelli, P.S. Thiagarajan, eds.), Lecture Notes in Computer Science, v. 4024, 282-301, 2006.
doi:10.1007/11767589_16
J. Kleijn, M. Koutny.: Synchrony and Asynchrony in Membrane Systems.
In: Membrane Computing, Seventh International Workshop, WMC7 (H.J. Hoogeboom, G. Paun, G. Rozenberg, A. Salomaa, eds.), Lecture Notes in Computer Science, v. 4361, 66-85, 2006.
doi:10.1007/11963516_5
J. Kleijn, M. Koutny.: Processes of Membrane Systems with Promoters and Inhibitors.
School of Computing Science, University of Newcastle CS-TR: 986, Oct 2006.
TR (Newcastle) .
J. Kleijn, M. Koutny, G. Rozenberg.: Process Semantics for Membrane Systems.
Journal of Automata, Languages and Combinatorics 11 (2006) 321-340.
appeared 2008 .
J. Kleijn, M. Koutny, G. Rozenberg.: Towards a Petri Net Semantics for Membrane Systems.
In: Membrane Computing: 6th International Workshop, WMC 2005, Vienna, Austria, July 18-21, 2005, Revised Selected and Invited Papers (R. Freund et al., ed.), Lecture Notes in Computer Science, v. 3850, 292-309, 2006.
doi:10.1007/11603047_20
H.C.M. Kleijn, M. Koutny, G. Rozenberg.: Processes of Petri Nets with Localities.
School of Computing Science, University of Newcastle CS-TR: 941, Jan 2006.
TR (Newcastle) .
M.H. ter Beek, J. Kleijn.: Infinite Unfair Shuffles and Associativity.
In: Proceedings of the 5th International Conference on Words (WORDS'05), Montréal, Canada (S. Brlek, C. Reutenauer, eds.), Publications du Laboratoire de Combinatoire et d'Informatique Mathématique, v. 36, Université du Québec à Montréal, Montréal, 129-146, 2005.
Journal paper in 2007 . pdf file .
M.H. ter Beek, J. Kleijn.: Modularity for Teams of I/O Automata.
Information Processing Letters 95 (2005) 487-495.
doi:10.1016/j.ipl.2005.05.012
Technical Report .
H.C.M. Kleijn, M. Koutny.: Infinite Process Semantics of Inhibitor Nets.
University of Newcastle upon Tyne CS-TR: 932, 2005.
TR (Newcastle) .
J. Carmona, J. Kleijn.: Interactive Behaviour of Multi-Component Systems.
In: Proceedings ToBaCo 2004, Workshop on Token Based Computing, Bologna June 2004 (J. Cortadella, A. Yakovlev, eds.), 27-31, 2004.
Technical Report .
H.C.M. Kleijn, M. Koutny.: Process Semantics of General Inhibitor Nets.
Information and Computation 190 (2004) 18-69.
doi:10.1016/j.ic.2003.11.002
TR (Newcastle) .
M.H. ter Beek, C.A. Ellis, J. Kleijn, G. Rozenberg.: Synchronizations in Team Automata for Groupware Systems.
Computer Supported Cooperative Work 12 (2003) 21 - 69.
doi:10.1023/A:1022407907596
M.H. ter Beek, J. Kleijn.: Team Automata Satisfying Compositionality.
In: Proceedings of FME 2003: Formal Methods --- the 12th International Symposium of Formal Methods Europe, Pisa, Italy (K. Araki, S. Gnesi, D. Mandrioli, eds.), Lecture Notes in Computer Science, v. 2805, 381 - 400, 2003.
doi:10.1007/b13229
J. Kleijn.: Team Automata for CSCW - A Survey -.
In: Petri Net Technology for Communication Based Systems (Advances in Petri Nets) (H. Ehrig, W. Reisig, G. Rozenberg, H. Weber, eds.), Lecture Notes in Computer Science, v. 2472, 295-320, 2003.
doi:10.1007/b83526
M. ter Beek, J. Kleijn.: Petri Net Control for Grammar Systems.
In: Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg (W. Brauer, H. Ehrig, J. Karhumäki, A. Salomaa, eds.), Lecture Notes in Computer Science, v. 2300, Springer Verlag, 220-243, 2002.
doi:10.1007/3-540-45711-9_13
H.C.M. Kleijn, M. Koutny.: Causality Semantics of Petri Nets with Weighted Inhibitor Arcs.
In: Concur 2002 - 13th International Conference (L. Brim, P. Jancar, M. Kretinsky, A. Kucera, eds.), Lecture Notes in Computer Science, v. 2421, 303-321, 2002.
doi:10.1007/3-540-45694-5_35
M.H. ter Beek, C.A. Ellis, J. Kleijn, G. Rozenberg.: Team Automata for CSCW.
In: Proceedings of the 2nd International Colloquium on Petri Net Technologies for Modelling Communication Based Systems (H. Weber, H. Ehrig, W. Reisig, eds.), Fraunhofer Institute for Software and Systems Engineering, Berlin, Germany, 1-20, 2001.
technical report .
M.H. ter Beek, C.A. Ellis, J. Kleijn, G. Rozenberg.: Team Automata for Spatial Access Control.
In: Proceedings of the 7th European Conference on Computer-Supported Cooperative Work (ECSCW 2001), Bonn, Germany, 2001 (W. Prinz, M. Jarke, Y. Rogers, K. Schmidt, V. Wulf, eds.), Kluwer Academic Publishers, Dordrecht, 59-77, 2001.
technical report .
H.C.M. Kleijn, M. Koutny.: Process Semantics of P/T-Nets with Inhibitor Arcs.
In: Application and Theory of Petri Nets 2000 (M. Nielsen, D. Simpson, eds.), Lecture Notes in Computer Science, v. 1825, 261-281, 2000.
doi:10.1007/3-540-44988-4_16
technical report .
M.H. ter Beek, C.A. Ellis, J. Kleijn, G. Rozenberg.: Synchronizations in Team Automata for Groupware Systems.
LIACS Technical Report 99-12, 1999.
S. Donatelli, J. Kleijn (eds.).: Application and Theory of Petri Nets 1999. Lecture Notes in Computer Science, volume 1639, Springer Verlag, 1999.
H.C.M. Kleijn, R. Morin, B. Rozoy.: Categorical Connections between Local Event Structures and Local Traces.
LIACS Technical Report 99-01, January 1999.
See LNCS 1684 .
H.C.M. Kleijn, R. Morin, B. Rozoy.: A General Categorical Connection between Local Event Structures and Local Traces.
In: Fundamentals of Computation Theory 1999 (G. Ciobanu, G. Paun, eds.), Lecture Notes in Computer Science, v. 1684, Springer Verlag, 338-349, 1999.
ps-file .
H.C.M. Kleijn, R. Morin, B. Rozoy.: Event Structures for Local Traces.
EXPRESS '98 Fifth International Workshop on Expressiveness in Concurrency. Electronic Notes in Theoretical Computer Science 16.2 (1998).
doi:10.1016/S1571-0661(04)00120-3
Also Leiden University Technical Report 98-10 .
N.W. Keesmaat, H.C.M. Kleijn.: Net-based control versus rational control: the relation between ITNC vector languages and rational relations.
Acta Informatica 34 (1997) 23-57.
doi:10.1007/s002360050072
MathSciNet .
N.W. Keesmaat, H.C.M. Kleijn.: Restrictions and representations of vector controlled concurrent system behaviours.
Theoretical Computer Science 179 (1997) 61-102.
doi:10.1016/S0304-3975(96)00105-3
MathSciNet .
P.W. Hoogers, H.C.M. Kleijn, P.S. Thiagarajan.: An event structure semantics for general Petri nets.
Theoretical Computer Science 153 (1996) 129-170.
doi:10.1016/0304-3975(95)00120-4
MathSciNet .
P.W. Hoogers, H.C.M. Kleijn, P.S. Thiagarajan.: A Trace Semantics for Petri Nets.
Information and Computation 117 (1995) 98-114.
doi:10.1006/inco.1995.1032
MathSciNet .
H.C.M. Kleijn.: Local Traces and Local Event Structures.
In: Proceedings Workshop on Algebraic and Syntactic Aspects of Concurrency, Chantilly, Frankrijk, LITP 95/48, 153-161, 1995.
H.C.M. Kleijn, B. Rozoy.: Local Traces and Local Event Structures Again.
In: Proceedings Workshop on Algebraic and Syntactic Aspects of Concurrency, Chantilly, Frankrijk, LITP 95/48, 163-171, 1995.
T. Harju, H.J. Hoogeboom, H.C.M. Kleijn.: Identities and Transductions.
In: Results and Trends in Theoretical Computer Science (J. Karhumäki, H. Maurer, G. Rozenberg, eds.), Lecture Notes in Computer Science, v. 812, 140-144, 1994.
doi:10.1007/3-540-58131-6_43
T. Harju, N.W. Keesmaat, H.C.M. Kleijn.: The Intersection Problem for Alphabetic Vector Monoids.
R.A.I.R.O. -- Informatique Théorique et Applications 28 (1994) 295-301.
T. Harju, H.C.M. Kleijn, M. Latteux, A. Terlutte.: Representation of rational functions with prefix and suffix codings.
Theoretical Computer Science 134 (1994) 403-413.
doi:10.1016/0304-3975(94)90245-3
MathSciNet .
T. Harju, H.C.M. Kleijn.: Morphisms and Rational Transducers.
Bulletin of the EATCS 51 (1993) 168-180.
P.W. Hoogers, H.C.M. Kleijn, P.S. Thiagarajan.: Local event structures and Petri nets.
In: CONCUR'93 (E. Best, ed.), Lecture Notes in Computer Science, v. 715, Springer-Verlag, Berlin, 462-476, 1993.
T. Harju, H.C.M. Kleijn, M. Latteux.: Compositional representation of rational functions.
R.A.I.R.O. -- Informatique Théorique et Applications 26 (1992) 243-255.
T. Harju, H.C.M. Kleijn, M. Latteux.: Deterministic sequential functions.
Acta Informatica 29 (1992) 545-554.
doi:10.1007/BF01185560
P.W. Hoogers, H.C.M. Kleijn, P.S. Thiagarajan.: A trace semantics for Petri nets, extended abstract.
In: Automata, Languages, and Programming (W. Kuich, ed.), Lecture Notes in Computer Science, v. 623, 595-604, 1992.
doi:10.1007/3-540-55719-9_107
Journal paper in 1995 .
N.W. Keesmaat, H.C.M. Kleijn.: The effect of vector synchronization: residue and loss.
In: Advances in Petri Nets 1992 (G. Rozenberg, ed.), Lecture Notes in Computer Science, v. 609, 215-250, 1992.
T. Harju, H.C.M. Kleijn.: Decidability problems for unary output sequential transducers.
Discrete Applied Mathematics 32 (1991) 131-140.
doi:10.1016/0166-218X(91)90096-F
N.W. Keesmaat, H.C.M. Kleijn, G. Rozenberg.: Vector controlled concurrent systems, Part II: Comparisons.
Fundamenta Informaticae XIV (1991) 1-38.
N.W. Keesmaat, H.C.M. Kleijn, G. Rozenberg.: Vector controlled concurrent systems; Part I: Basic classes.
Fundamenta Informaticae XIII (1990) 275-316.
T. Harju, H.C.M. Kleijn.: Cardinality problems of compositions of morphisms and inverse morphisms.
Mathematical Systems Theory 22 (1989) 151-159.
doi:10.1007/BF02088295
S. Horváth, J. Karhumäki, J. Kleijn.: Results concerning palindromicity.
Journal of Information Processing and Cybernetics EIK 23 (1987) 441-451.
H.C.M. Kleijn.: Basic ideas of selective substitution grammars.
In: Trends, techniques, and problems in theoretical computer science, Lecture Notes in Computer Science, v. 281, 75-95, 1987.
doi:10.1007/3540185356_32
T. Harju, J. Karhumäki, H.C.M. Kleijn.: On morphic generation of regular languages.
Discrete Applied Mathematics 15 (1986) 55-60.
doi:10.1016/0166-218X(86)90018-1
H.C.M. Kleijn.: Basic ideas of selective substitution grammars.
In: 4th International meeting of young computer scientists, MTA, SZTAKI, Tanulmányok, v. 185, 1986.
A. Ehrenfeucht, H.C.M. Kleijn, G. Rozenberg.: Adding global forbidding context to context-free grammars.
Theoretical Computer Science 37(3) (December 1985) 337-360.
doi:10.1016/0304-3975(85)90096-9
J. Karhumäki, H.C.M. Kleijn.: On the equivalence of compositions of morphisms and inverse morphisms on regular languages.
R.A.I.R.O. -- Informatique Théorique et Applications 19 (1985) 203-211.
J. Karhumäki, H.C.M. Kleijn.: On the equivalence of compositions of morphisms and inverse morphisms on regular languages.
In: Proceedings MFCS 1984, Lecture Notes in Computer Science, v. 176, 355-363, 1984.
Journal paper in 1985 .
H.C.M. Kleijn, M. Penttonen, G. Rozenberg, K. Salomaa.: Direction independent context-sensitive grammars.
Information and Control 63(1/2) (October/November 1984) 113-117.
H.J.M. Goeman, L.P.J. Groenewegen, H.C.M. Kleijn, G. Rozenberg.: Constrained Petri nets.
Fundamenta Informaticae VI (1983) 81-125.
H.J.M. Goeman, L.P.J. Groenewegen, H.C.M. Kleijn, G. Rozenberg.: Constrained Petri nets part II: Generalizations and extensions.
Fundamenta Informaticae VI (1983) 333-374.
J. Gonczarowski, H.C.M. Kleijn, G. Rozenberg.: Grammatical constructions in selective substitution grammars.
Acta Cybernetica 6 (1983) 239-269.
J. Gonczarowski, H.C.M. Kleijn, G. Rozenberg.: Closure properties of selective substitution grammars part I.
International Journal of Computer Mathematics 14 (1983) 19-42.
J. Gonczarowski, H.C.M. Kleijn, G. Rozenberg.: Closure properties of selective substitution grammars part II.
International Journal of Computer Mathematics 14 (1983) 109-135.
H.C.M. Kleijn, G. Rozenberg.: Multigrammars.
International Journal of Computer Mathematics 12 (1983) 177-201.
H.C.M. Kleijn, G. Rozenberg.: On the generative power of regular pattern grammars.
Acta Informatica 20 (1983) 391-411.
doi:10.1007/BF00264281
H.C.M. Kleijn, G. Rozenberg.: Corrigendum: Sequential, continuous and parallel grammars.
Information and Control 52(3) (March 1982) 364.
doi:10.1016/S0019-9958(82)90826-9
H.C.M. Kleijn, G. Rozenberg, R. Verraedt.: On the role of blocking in rewriting systems.
Acta Cybernetica 5 (1982) 389-408.
H.C.M. Kleijn, G. Rozenberg.: Sequential, continuous and parallel grammars.
Information and Control 48 (1981) 221-260.
doi:10.1016/S0019-9958(81)90657-4
H.C.M. Kleijn, G. Rozenberg.: Context-free like restrictions on selective rewriting.
Theoretical Computer Science 16(3) (December 1981) 237-269.
doi:10.1016/0304-3975(81)90097-9
H.C.M. Kleijn, G. Rozenberg.: A general framework for comparing sequential and parallel rewriting.
In: Mathematical Foundations of Computer Science 1981 (J. Gruska, M. Chytil, eds.), Lecture Notes in Computer Science, v. 118, Springer-Verlag, 360-368, 1981.
doi:10.1007/3-540-10856-4_103
H.C.M. Kleijn, G. Rozenberg.: On the role of selectors in selective substitition grammars.
In: Fundamentals of Computation Theory, Lecture Notes in Computer Science, v. 117, 190-198, 1981.
H.C.M. Kleijn, G. Rozenberg.: A study in parallel rewriting systems.
Information and Control 44 (1980) 134-163.
doi:10.1016/S0019-9958(80)90066-2

Found 160 items. Searchstring `Kleijn'