Results 281 to 290 of about 27,619 (295)

Diagnosis of Petri Nets

2013
This chapter focuses on on-line fault diagnosis of labeled Petri nets, i.e., place/transition nets where a labeling function assigns to each transition either a symbol from a given alphabet or the empty word. Some important contributions in this framework are first recalled.
Cabasino MP, GIUA, ALESSANDRO, SEATZU, CARLA   +2 more
openaire   +2 more sources

Petri Nets and Petri’s Nets: A Personal Perspective

2019
Throughout his academic career the author has been mainly concerned with the theoretical aspects of Petri nets. However, he always felt that they are also a powerful model to be applied when solving important practical problems in various areas related to concurrent system design and analysis.
openaire   +2 more sources

New Petri net controller for distributed Petri net

IECON '98. Proceedings of the 24th Annual Conference of the IEEE Industrial Electronics Society (Cat. No.98CH36200), 2002
When a large Petri net system is implemented, several LSI Petri net controllers are used and connected in order to build a whole system. For this purpose, the authors propose a new Petri net controller, which can hold much more places than the one proposed before. It also has the new control of tokens for kill-arc and shared-places among sub Petri nets
H. Murakoshi, T. Horiguchi, W. Takano, Yasunori Dohi   +3 more
openaire   +2 more sources

Separability in Persistent Petri Nets

Fundamenta Informaticae, 2010
Nous prouvons que les reseaux de Petri ordinaires, bornes, reversibles et persistants sont faiblement et fortement separables.
Best, Eike, Darondeau, Philippe
openaire   +3 more sources

Petri’s Understanding of Nets

2019
The author offers a personal account of how Carl Adam Petri explained nets, tokens, and dynamics in the universe.
openaire   +3 more sources

Improving the Usability of Petri Nets with the ≫Petri Net Baukasten≪

2001
An 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.
Alexander Borusan, Herbert Weber, Sabine Lembke   +2 more
openaire   +2 more sources

Stochastic Petri Nets

1990
Petri Nets provide a means for modeling and graphically representing the possible behavior of systems in which concurrency, serializability, synchronization and resource sharing are important considerations [PETE], [FILM]. They can be used for the understanding and prediction of the behavior of computer systems, communication protocols, biological ...
openaire   +2 more sources

From Coloured Petri Nets to Object Petri Nets

1995
This 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

Stochastic Timed Petri Nets and Stochastic Petri Nets

1998
Stochastic timed Petri nets (STPN’s) are Petri nets in which stochastic firing times are associated with transitions. An STPN is essentially a high-level model that generates a stochastic process. STPN-based performance evaluation basically comprises modeling the given system by an STPN and automatically generating the stochastic process that governs ...
openaire   +2 more sources

Petri Nets

ACM Computing Surveys, 1977
openaire   +2 more sources