Results 281 to 290 of about 64,411 (297)

Petri Nets – A Mathematical Formalism to Analyze Chemical Reaction Networks

Molecular Informatics, 2010
Ina Koch
exaly  

Reliability modelling of repairable systems using Petri nets and fuzzy Lambda–Tau methodology

Reliability Engineering and System Safety, 2001
J Knezevic
exaly  

Deadlock analysis of Petri nets using siphons and mathematical programming

IEEE Transactions on Automation Science and Engineering, 1997
Feng Chu
exaly  

Reduction of constraints for controller synthesis based on safe Petri Nets

Automatica, 2008
Abbas Dideban, Hassane Alla
exaly  

Fuzzy timed Petri nets

Fuzzy Sets and Systems, 2003
Witold Pedrycz, Heloisa A Camargo
exaly  

Compact Supervisory Control of Discrete Event Systems by Petri Nets With Data Inhibitor Arcs

IEEE Transactions on Systems, Man, and Cybernetics: Systems, 2017
Yufeng Chen, Zhiwu Li, Kamel Barkaoui
exaly  

An improved approach to test diagnosability of bounded petri nets

IEEE/CAA Journal of Automatica Sinica, 2017
Ning Ran, Hongye Su, Shouguang Wang
exaly  

Performance Analysis Using Stochastic Petri Nets

IEEE Transactions on Computers, 1982
exaly  

Modular Reachability Analysis of Petri Nets for Multiagent Systems

IEEE Transactions on Systems, Man, and Cybernetics: Systems, 2013
T Miyamoto
exaly  

Model checking Petri nets with MSVL

Information Sciences, 2016
Ya Shi, Cong Tian, MengChu Zhou
exaly