Results 331 to 340 of about 3,623,879 (377)
Some of the next articles are maybe not open access.

A novel cause analysis approach of grey reasoning Petri net based on matrix operations

Applied intelligence (Boston), 2021
Li Li   +3 more
semanticscholar   +1 more source

Constrained Petri Nets

Fundamenta Informaticae, 1983
This paper investigates the use of sets of places of a Petri net as additional (to input places) constraints for granting concession to a transition. Various modes of using constraints give rise to various classes (of languages) of constrained Petri nets. The power of these classes is compared in the language theoretical framework.
H.J.M. Goeman   +3 more
openaire   +3 more sources

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   +2 more
openaire   +2 more sources

Deadlock Prevention Based on Structure Reuse of Petri Net Supervisors for Flexible Manufacturing Systems

IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans, 2012
Deadlocks are an undesirable situation in automated flexible manufacturing systems (FMS). Their occurrences often deteriorate the utilization of resources and may lead to catastrophic results. Finding an optimal supervisor is NP-hard.
Zhiwu Li   +3 more
semanticscholar   +1 more source

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   +3 more
openaire   +2 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

Decomposition of Petri nets

Cybernetics and Systems Analysis, 2004
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +2 more sources

Modeling Business Processes: A Petri Net-Oriented Approach

, 2011
An introduction to the modeling of business information systems, with processes formally modeled using Petri nets.
Wil M.P. van der Aalst, C. Stahl
semanticscholar   +1 more source

Petri Net Model Checking with LoLA 2

Applications and Theory of Petri Nets, 2018
K. Wolf
semanticscholar   +1 more source

Home - About - Disclaimer - Privacy