#### Filter Results:

- Full text PDF available (59)

#### Publication Year

1980

2017

- This year (10)
- Last 5 years (58)
- Last 10 years (89)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Jetty Kleijn, Maciej Koutny
- Inf. Comput.
- 2004

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)

- Tom Chothia, Jetty Kleijn
- Electr. Notes Theor. Comput. Sci.
- 2007

- Maurice H. ter Beek, Clarence A. Ellis, Jetty Kleijn, Grzegorz Rozenberg
- Computer Supported Cooperative Work (CSCW)
- 2003

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)

- Jetty Kleijn
- Petri Net Technology for Communication-Based…
- 2003

- P. W. Hoogers, Jetty Kleijn, P. S. Thiagarajan
- Inf. Comput.
- 1995

- Jetty Kleijn, Maciej Koutny, Grzegorz Rozenberg
- Workshop on Membrane Computing
- 2005

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)

- P. W. Hoogers, Jetty Kleijn, P. S. Thiagarajan
- Theor. Comput. Sci.
- 1996

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)

- Sándor Horváth, Juhani Karhumäki, Jetty Kleijn
- Elektronische Informationsverarbeitung und…
- 1987

- Jetty Kleijn, Maciej Koutny
- New Developments in Formal Languages and…
- 2008

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)

- Jetty Kleijn, Maciej Koutny
- Natural Computing
- 2008

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)