Results 201 to 210 of about 145,352 (236)

Petri Net

2023
openaire   +1 more source

Petri nets and industrial applications: A tutorial

IEEE Transactions on Industrial Electronics, 1994
MengChu Zhou
exaly  

A Survey of Petri Nets Slicing

ACM Computing Surveys, 2019
Yasir Imtiaz Khan, Alexandros Konios
exaly  

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

Control Engineering Practice, 2011
Alessandro Giua
exaly  

Petri Nets

2019
Jiacun Wang, William Tepfenhart
openaire   +1 more source

Fuzzy Petri nets for knowledge representation and reasoning: A literature review

Engineering Applications of Artificial Intelligence, 2017
Hu-Chen Liu, Zhiwu Li, Guangdong Tian
exaly  

An integrated assessment of safety and efficiency of aircraft maintenance strategies using agent-based modelling and stochastic Petri nets

Reliability Engineering and System Safety, 2020
Juseong Lee, Mihaela Mitici
exaly  

Petri Nets

2011
Bruce Leasure, David J. Kuck, Sergei Gorlatch, Murray Cole, Gregory R. Watson, Alain Darte, David Padua, Utpal Banerjee, Olaf Schenk, Klaus Gärtner, David Padua, Howard Jay Siegel, Bobby Dalton Young, Roy H. Campbell, Ümit Çatalyürek, Cevdet Aykanat, Jasmin Ajanovic, Stefan Schmid, Roger Wattenhofer, E. N. Mootaz Elnozahy, Evan W. Speight, Jian Li, Ram Rajamony, Lixin Zhang, Baba Arimilli, David Padua, Michael Gerndt, Michael Gerndt, David Padua, Jack B. Dennis, Barry Smith, George Almasi, Alexandros Stamatakis, Davide Sangiorgi, Davide Sangiorgi, David Padua, John A. Gunnels, Jack Dongarra, Piotr Luszczek, Bernd Mohr, Rudolf Eigenmann, Paul Feautrier, Christian Lengauer, David Padua, Pradip Bose, Joseph F. JaJa, Anshul Gupta, Rocco De Nicola, David Padua, David Padua, David Padua, Roger S. Armen, Eric R. May, Michela Taufer, Al Geist   +54 more
  +4 more sources

Synthesizing Petri Nets from Labelled Petri Nets

Robin Bergenthum, Jakub Kovář
openaire   +1 more source

An improved approach to test diagnosability of bounded petri nets

IEEE/CAA Journal of Automatica Sinica, 2017
Shouguang Wang
exaly