Jetty Kleijn

Learn More
We define a causality semantics of Place/Transition nets with weighted inhibitor arcs (PTI-nets). We extend the standard approach to defining the partial order semantics of Place/Transition nets (PT-nets) based on the process semantics given through net unfolding and occurrence nets. To deal with inhibitor arcs at the level of occurrence nets activator arcs(More)
Team automata have been proposed in Ellis (1997) as a formal framework for modeling both the conceptual and the architectural level of groupware systems. Here we define team automata in a mathematically precise way in terms of component automata which synchronizeon certain executions of actions.At the conceptual level, our model serves as a formal framework(More)
We consider the modelling of the behaviour of membrane systems using Petri nets. First, a systematic, structural, link is established between a basic class of membrane systems and Petri nets. To capture the compartmentisation of membrane systems, localities are proposed as an extension of Petri nets. This leads to a locally maximal concurrency semantics for(More)
In this paper we address the following question: What type of event structures are suitable for representing the behaviour of general Petri nets? As a partial answer to this question we de ne a new class of event structures called local event structures and identify a subclass called UL-event structures. We propose that UL-event structures are appropriate(More)
This is a tutorial based on a course delivered as part of the International PhD School in Formal Languages and Applications located at the Rovira i Virgili University in Tarragona, Spain. It is focused on an application of formal language theory to represent behaviours of concurrent systems necessitating a generalisation of language theory to traces, which(More)
We consider membrane systems with dissolving and thickening reaction rules. Application of these rules entails a dynamical change in the structure of a system during its evolution. First we provide a precise operational model for these dynamic membrane systems in which also promoter and inhibitor rules may occur. Next we describe a translation into(More)