Results 281 to 290 of about 31,117 (298)

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  

High Level Petri Nets

2009
Girault, Claude, Pradat-Peyre, Jean-François   +1 more
openaire   +1 more source

Model checking Petri nets with MSVL

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

State equation, controllability, and maximal matchings of petri nets

IEEE Transactions on Automatic Control, 1977
exaly  

Timed and High-level Petri Nets

2007
openaire   +1 more source