Results 191 to 200 of about 23,744 (217)

Petri Nets in the Biosciences

it – Information Technology, 2014
Ina Koch, Wolfgang Reisig, Falk Schreiber   +2 more
openaire   +1 more source

A Survey of Petri Nets Slicing

ACM Computing Surveys, 2019
Yasir Imtiaz Khan, Alexandros Konios, Nicolas Guelfi   +2 more
exaly  

Petri nets and industrial applications: A tutorial

IEEE Transactions on Industrial Electronics, 1994
R Zurawski, Mengchu Zhou
exaly  

Probability in Petri nets

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

On the Decidability and Complexity of Diagnosability for Labeled Petri Nets

IEEE Transactions on Automatic Control, 2017
Xiang Yin, Stéphane Lafortune
exaly  

Putting high-level Petri nets to work in industry

Computers in Industry, 1994
Wil M P Van Der Aalst
exaly  

Discrete event diagnosis using labeled Petri nets. An application to manufacturing systems

Control Engineering Practice, 2011
Alessandro Giua, C Seatzu
exaly  

Make your Petri nets understandable: Reliability block diagrams driven Petri nets

Reliability Engineering and System Safety, 2013
Jean-Pierre Signoret, Yves Dutuit, Cyrille Folleau   +2 more
exaly  

Petri nets and Automatic Control: A historical perspective

Annual Reviews in Control, 2018
Alessandro Giua, Manuel Silva
exaly  

Petri Nets – A Mathematical Formalism to Analyze Chemical Reaction Networks

Molecular Informatics, 2010
Ina Koch
exaly