Sciweavers

112 search results - page 1 / 23
» Towards a Petri Net Semantics for Membrane Systems
Sort
View
MEMBRANE
2005
Springer
13 years 10 months ago
Towards a Petri Net Semantics for Membrane Systems
Jetty Kleijn, Maciej Koutny, Grzegorz Rozenberg
MEMBRANE
2005
Springer
13 years 10 months ago
P Systems, Petri Nets, and Program Machines
Some features capturing the computational completeness of P systems with maximal parallelism, priorities or zero-test using symbol objects are studied through Petri nets. The obtai...
Pierluigi Frisco
IFM
2004
Springer
185views Formal Methods» more  IFM 2004»
13 years 10 months ago
Object-Oriented Modelling with High-Level Modular Petri Nets
Abstract. In this paper, we address the problem of expressing objectoriented concepts in terms of Petri nets. This is interesting, first, as a possibility of representing concurre...
Cécile Bui Thanh, Hanna Klaudel
APN
2006
Springer
13 years 7 months ago
How Expressive Are Petri Net Schemata?
Petri net schemata are an intuitive and expressive approach to describe high-level Petri nets. A Petri net schema is a Petri net with edges and transitions inscribed by terms and B...
Andreas Glausch, Wolfgang Reisig
CONCUR
2001
Springer
13 years 9 months ago
Compositional Modeling of Reactive Systems Using Open Nets
In order to model the behaviour of open concurrent systems by means of Petri nets, we introduce open Petri nets, a generalization of the ordinary model where some places, designate...
Paolo Baldan, Andrea Corradini, Hartmut Ehrig, Rei...