Results 251 to 260 of about 1,107,230 (292)
Some of the next articles are maybe not open access.
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
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
Acta Informatica, 2007
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Haddad, Serge, Poitrenaud, Denis
openaire +3 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Haddad, Serge, Poitrenaud, Denis
openaire +3 more sources
2020
We introduce multilabeled Petri nets as an inherently parallel generalization of constraint automata. Composition of multilabeled nets does not suffer from state-space explosions, which makes them an adequate intermediate representation for code generation.
openaire +2 more sources
We introduce multilabeled Petri nets as an inherently parallel generalization of constraint automata. Composition of multilabeled nets does not suffer from state-space explosions, which makes them an adequate intermediate representation for code generation.
openaire +2 more sources
2012
A Petri net is distributed if, given an allocation of transitions to (geographical) locations, no two transitions at different locations share a common input place. A system is distributable if there is some distributed Petri net implementing it.
Darondeau, Philippe, Best, Eike
openaire +1 more source
A Petri net is distributed if, given an allocation of transitions to (geographical) locations, no two transitions at different locations share a common input place. A system is distributable if there is some distributed Petri net implementing it.
Darondeau, Philippe, Best, Eike
openaire +1 more source