Results 221 to 230 of about 4,712 (265)
Some of the next articles are maybe not open access.
2008
In a seminal paper Montanari and Meseguer showed that an algebraic interpretation of Petri nets in terms of commutative monoids can be used to provide an elegant characterisation of the deterministic computations of a net, accounting for their sequential and parallel composition.
Baldan, Paolo, GADDUCCI, FABIO
openaire +4 more sources
In a seminal paper Montanari and Meseguer showed that an algebraic interpretation of Petri nets in terms of commutative monoids can be used to provide an elegant characterisation of the deterministic computations of a net, accounting for their sequential and parallel composition.
Baldan, Paolo, GADDUCCI, FABIO
openaire +4 more sources
The dimensions of Petri nets: The Petri net cube
Bull. EATCS, 1998Summary: There exist many different Petri net formalisms. In this paper, we present the Petri net cube which helps to structure and classify the variety of Petri net formalisms. We show, that three basic aspects are sufficient for describing most classical Petri net formalisms.
Ekkart Kindler, Michael Weber 0003
openaire +2 more sources
Improving the Usability of Petri Nets with the ≫Petri Net Baukasten≪
2001An enormously rich variety of Petri net concepts, techniques, and methods as well as various tools and tool environments has been developed to support the process-driven system development. But, system development under the use of Petri nets is still difficult since the one which best fits the application cannot be identified easily.
Herbert Weber +2 more
openaire +1 more source
Using Petri nets as a model for Petri nets
Proceedings of the Third Workshop on Future Trends of Distributed Computing Systems, 2003This paper deals with the study of behavioral equivalences between labeled (place/transition) Petri nets preserving the causal relationship among transition firings. This is achieved by defining a very slight modification in the conventional Petri net formalism, leading to associating an additional information to each token of the net.
R.J. Coelho da Costa, J.-P. Courtiat
openaire +1 more source
The Petri Net Kernel An infrastructure for building Petri net tools
International Journal on Software Tools for Technology Transfer, 2001zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Ekkart Kindler, Michael Weber 0003
openaire +3 more sources
Acta Informatica, 2001
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Best, Eike +2 more
openaire +5 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Best, Eike +2 more
openaire +5 more sources
From Coloured Petri Nets to Object Petri Nets
1995This paper seeks to establish within a formal framework how Coloured Petri Nets can be enhanced to produce Object Petri Nets. It does so by defining a number of intermediate Petri Net formalisms and identifying the features introduced at each step of the development.
openaire +2 more sources
2016
Negotiations have recently been introduced as a model of concurrency with multi-party negotiation atoms as primitive. This paper studies the relation between negotiations and Petri nets. In particular, we show that each negotiation can be translated into a 1-safe labelled Petri net with equivalent behaviour.
Jörg Desel, Javier Esparza
openaire +3 more sources
Negotiations have recently been introduced as a model of concurrency with multi-party negotiation atoms as primitive. This paper studies the relation between negotiations and Petri nets. In particular, we show that each negotiation can be translated into a 1-safe labelled Petri net with equivalent behaviour.
Jörg Desel, Javier Esparza
openaire +3 more sources
Proceedings of the Third IEEE Symposium on Parallel and Distributed Processing, 2002
A fundamental criterion of a robust distributed system is its ability to recover from perturbations that can possibly corrupt the state of the system. In a Petri net model, system perturbations may affect the marking of the net in an unpredictable manner.
openaire +2 more sources
A fundamental criterion of a robust distributed system is its ability to recover from perturbations that can possibly corrupt the state of the system. In a Petri net model, system perturbations may affect the marking of the net in an unpredictable manner.
openaire +2 more sources