Open AccessProceedings Article
Cooperative Nets
Christophe Sibertin-Blanc
- pp 471-490
Reads0
Chats0
TLDR
Two extensions of Petri nets dealing with dynamic evolution are introduced, Communicative Nets and Cooperative Nets, which enable to model a system as a collection of nets which encapsulate their behavior, while interacting by means of message sending or a client/ server protocol.About:
This article is published in Applications and Theory of Petri Nets.The article was published on 1994-06-20 and is currently open access. It has received 125 citations till now. The article focuses on the topics: Petri net.read more
Citations
More filters
Proceedings Article
Petri Nets as Token Objects: An Introduction to Elementary Object Nets
TL;DR: In this paper, the Elementary Object System (EOS) model is introduced and motivated by several examples and applications, which is composed of a System Net and one or more Object Nets which can be seen as token objects of the system net.
Book ChapterDOI
From Coloured Petri Nets to Object Petri Nets
TL;DR: This paper seeks to establish within a formal framework how Coloured Petri Nets can be enhanced to produce Object Petrinets by defining a number of intermediate Petri Net formalisms and identifying the features introduced at each step of the development.
Book ChapterDOI
An extensible editor and simulation engine for Petri nets: RENEW
Olaf Kummer,Frank Wienberg,Michael Duvigneau,Jörn Schumacher,Michael Köhler,Daniel Moldt,Heiko Rölke,Riidiger Valk +7 more
TL;DR: The architecture of the tool has been refactored to gain more flexibility and new features allow for plug-ins on the level of concepts (net formalisms) and on thelevel of applications (e.g. workflow or agents).
Book ChapterDOI
Petri Nets as Token Objects
TL;DR: The model of Elementary Object System, a modeling of systems by Petri nets following the paradigm of Object-Oriented Modeling, is introduced and motivated by several examples and applications.
Book ChapterDOI
On formalizing UML with high-level petri nets
Luciano Baresi,Mauro Pezzè +1 more
TL;DR: The feasibility of ascribing formal semantics to UML is indicated by defining translation rules that automatically map UML specifications to high-level Petri nets by illustrating the method through the hurried philosophers problem.
References
More filters
Book
Fundamentals of Algebraic Specification 1
Hartmut Ehrig,Bernd Mahr +1 more
TL;DR: In this paper, it was shown that the initial homomorphism from the initial algebra to the algebras of the specification is not intended to be the "abstraction function", nor its counter part, the "representation function".
Book ChapterDOI
Hierarchies in Coloured Petri Nets
TL;DR: The paper shows how to extend Coloured Petri Nets with a hierarchy concept and proposes five different hierarchy constructs, which allow the analyst to structure large CP-nets as a set of interrelated subnets (called pages).
Book ChapterDOI
Modeling and Enactment of Workflow Systems
Clarence A. Ellis,Gary J. Nutt +1 more
TL;DR: This paper presents a formal (and also an informal) definition of ICN, a tool for modeling office workflow, and illustrates the utility of ICNs via an office analysis example.