Results 271 to 280 of about 64,411 (297)
Some of the next articles are maybe not open access.
Fundam. Informaticae, 2005
Summary: It is demonstrated that the introduction of probability into Petri nets increases their power, in particular for their reachability sets. To achieve this the definition of accepted languages by probabilistic finite automata or probabilistic Turing machines with complexity restriction has to be modified.
openaire +2 more sources
Summary: It is demonstrated that the introduction of probability into Petri nets increases their power, in particular for their reachability sets. To achieve this the definition of accepted languages by probabilistic finite automata or probabilistic Turing machines with complexity restriction has to be modified.
openaire +2 more sources
2013
At first glance the concepts of time and of Petri nets are quite contrary: while time determines the occurrences of events in a system, classic Petri nets consider their causal relationships and they represent events as concurrent systems. But if we take a closer look at how time and causality are intertwined we realize that there are many possible ...
openaire +1 more source
At first glance the concepts of time and of Petri nets are quite contrary: while time determines the occurrences of events in a system, classic Petri nets consider their causal relationships and they represent events as concurrent systems. But if we take a closer look at how time and causality are intertwined we realize that there are many possible ...
openaire +1 more source
A Survey of Petri Nets Slicing
ACM Computing Surveys, 2019Yasir Imtiaz Khan, Alexandros Konios
exaly
Petri nets and industrial applications: A tutorial
IEEE Transactions on Industrial Electronics, 1994R Zurawski, MengChu Zhou
exaly
On the Decidability and Complexity of Diagnosability for Labeled Petri Nets
IEEE Transactions on Automatic Control, 2017Xiang Yin, Stéphane Lafortune
exaly
Putting high-level Petri nets to work in industry
Computers in Industry, 1994Wil M P van der Aalst
exaly
Discrete event diagnosis using labeled Petri nets. An application to manufacturing systems
Control Engineering Practice, 2011Alessandro Giua, C Seatzu
exaly
Make your Petri nets understandable: Reliability block diagrams driven Petri nets
Reliability Engineering and System Safety, 2013Jean-Pierre Signoret +2 more
exaly
Petri nets and Automatic Control: A historical perspective
Annual Reviews in Control, 2018Alessandro Giua, Manuel Silva
exaly