J
Jetty Kleijn
Researcher at Leiden University
Publications - 108
Citations - 1301
Jetty Kleijn is an academic researcher from Leiden University. The author has contributed to research in topics: Petri net & Concurrency. The author has an hindex of 19, co-authored 106 publications receiving 1244 citations.
Papers
More filters
BookDOI
Petri nets and Other Models of Concurrency – ICATPN 2007
Jetty Kleijn,Alex Yakovlev +1 more
TL;DR: In this article, Petri nets without tokens are used to generate Petri Net state spaces for Reconfigurable Component Systems (RCSs) and a Compositional Method for the Synthesis of Asynchronous Communication Mechanisms is presented.
Journal ArticleDOI
Synchronizations in Team Automata for Groupware Systems
TL;DR: This work defines team automata in a mathematically precise way in terms of component automata which synchronize on certain executions of actions to serve as a formal framework for modeling both the conceptual and the architectural level of groupware systems.
BookDOI
Application and Theory of Petri Nets 1999
Susanna Donatelli,Jetty Kleijn +1 more
TL;DR: This talk will present two detailed examples of hybrid systems, covering design, simulation and implementation of an Automated Highway System and a collection of autonomous unmanned aircraft, providing a background about hybrid systems.
Book
Transactions on Petri nets and other models of concurrency
Kurt Jensen,Wil M. P. van der Aalst,Jonathan Billington,Maciej Koutny,Susanna Donatelli,Jetty Kleijn +5 more
TL;DR: In Memoriam: Carl Adam Petri, professor of computer science, University of Oxford.
Journal Article
Towards a petri net semantics for membrane systems
TL;DR: In this paper, a structural link between a basic class of membrane systems and Petri nets is established, and localities are proposed as an extension of Petri net to capture the compartmentisation of membrane system.