Open Petri Nets: Non-deterministic Processes and Compositionality

Authors:
Paolo Baldan;Andrea Corradini;Hartmut Ehrig;Barbara König
Affiliations:
Dipartimento di Matematica Pura e Applicata, Università di Padova, Italy;Dipartimento di Informatica, Università di Pisa, Italy;Institut für Softwaretechnik und Theoretische Informatik, Technische Universität Berlin, Germany;Abteilung für Informatik und Angewandte Kognitionswissenschaft, Universität Duisburg-Essen, Germany
Venue:
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
Year:
2008

Citing 11
Cited 1

Petri nets: an introduction

Petri nets: an introduction
Graph processes

Fundamenta Informaticae - Special issue on graph transformations
A uniform approach to true-concurrency and interleaving semantics for Petri nets

Theoretical Computer Science
Bigraphical Reactive Systems

CONCUR '01 Proceedings of the 12th International Conference on Concurrency Theory
Characterizing Behavioural Congruences for Petri Nets

CONCUR '95 Proceedings of the 6th International Conference on Concurrency Theory
A Compositional Partial Order Semantics for Petri Net Components

ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
Using Unfoldings to Avoid the State Explosion Problem in the Verification of Asynchronous Circuits

CAV '92 Proceedings of the Fourth International Workshop on Computer Aided Verification
Compositional semantics for open Petri nets based on deterministic processes

Mathematical Structures in Computer Science
Using Petri Net to Reason with Rule and OWL

CIT '06 Proceedings of the Sixth IEEE International Conference on Computer and Information Technology
Bisimilarity and behaviour-preserving reconfigurations of open Petri nets

CALCO'07 Proceedings of the 2nd international conference on Algebra and coalgebra in computer science
A behavioural congruence for web services

FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering

Factorization properties of symbolic unfoldings of colored petri nets

PETRI NETS'10 Proceedings of the 31st international conference on Applications and Theory of Petri Nets

Quantified Score

Hi-index	0.00

Visualization

Abstract

We introduce ranked open nets, a reactive extension of Petri nets which generalises a basic open net model introduced in a previous work by allowing for a refined notion of interface. The interface towards the external environment of a ranked open net is given by a subset of places designated as open and used for composition. Additionally, a bound on the number of connections which are allowed on an open place can be specified. We show that the non-deterministic process semantics is compositional with respect to the composition operation over ranked open nets, a result which did not hold for basic open nets.