Results 261 to 270 of about 64,411 (297)
Some of the next articles are maybe not open access.
Acta Informatica, 2007
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Haddad, Serge, Poitrenaud, Denis
openaire +2 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Haddad, Serge, Poitrenaud, Denis
openaire +2 more sources
2013
Petri nets are one of the most important discrete event systems formalisms. Three are the main reasons of this. Firstly, they provide a rich family of both logic and timed models, that share a set of formal tools. Secondly, they can be used in all phases of design of a control system.
Cabasino MP +2 more
openaire +2 more sources
Petri nets are one of the most important discrete event systems formalisms. Three are the main reasons of this. Firstly, they provide a rich family of both logic and timed models, that share a set of formal tools. Secondly, they can be used in all phases of design of a control system.
Cabasino MP +2 more
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
Acta Informatica, 2001
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Best, Eike +2 more
openaire +4 more sources
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Best, Eike +2 more
openaire +4 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 +1 more source
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 +1 more source
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 +1 more source
2019
The author offers a personal account of how Carl Adam Petri explained nets, tokens, and dynamics in the universe.
openaire +2 more sources
The author offers a personal account of how Carl Adam Petri explained nets, tokens, and dynamics in the universe.
openaire +2 more sources
1981
In this paper we give an overview of some formal models of concurrent systems, that are derived from the classical Petri net model. Since several of these models are introduced by Petri and his group within General Net Theory [4] they can also be called 'high-level Petri nets'.
openaire +1 more source
In this paper we give an overview of some formal models of concurrent systems, that are derived from the classical Petri net model. Since several of these models are introduced by Petri and his group within General Net Theory [4] they can also be called 'high-level Petri nets'.
openaire +1 more source
J. Inf. Process. Cybern., 2020
A generalized nim game is defined for which a Petri net is used like a chessboard. In a Petri net game two players successively block transitions from exactly one set of transitions in the net. The first one who has no transition to block is the looser.
openaire +1 more source
A generalized nim game is defined for which a Petri net is used like a chessboard. In a Petri net game two players successively block transitions from exactly one set of transitions in the net. The first one who has no transition to block is the looser.
openaire +1 more source