Results 311 to 320 of about 145,993 (337)

Synthesizing Petri Nets from Labelled Petri Nets

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

A Maximally Permissive Deadlock Prevention Policy for FMS Based on Petri Net Siphon Control and the Theory of Regions

IEEE Transactions on Automation Science and Engineering, 2008
Zhiwu Li, MengChu Zhou
exaly  

A hybrid methodology for synthesis of Petri net models for manufacturing systems

IEEE Transactions on Automation Science and Engineering, 1992
MengChu Zhou
exaly  

A novel reduction approach for Petri net systems based on matching theory

Expert Systems With Applications, 2013
Yu-Fang Chung, Shyi-Ming Chen
exaly  

Petri Nets

2012
openaire   +1 more source

Basis Marking Representation of Petri Net Reachability Spaces and Its Application to the Reachability Problem

IEEE Transactions on Automatic Control, 2017
Ziyue, Yin Tong, Zhiwu Li
exaly  

Toward the Minimal Universal Petri Net

IEEE Transactions on Systems, Man, and Cybernetics: Systems, 2014
Dmitry A Zaitsev
exaly  

Transition Cover-Based Robust Petri Net Controllers for Automated Manufacturing Systems With a Type of Unreliable Resources

IEEE Transactions on Systems, Man, and Cybernetics: Systems, 2017
Yanxiang Feng, Ke-Yi Xing, Zhenxin Gao
exaly  

Colored Petri net modeling and simulation of signal transduction pathways

Metabolic Engineering, 2006
Dong-Yup Lee, Ralf Zimmer, Sang Yup Lee
exaly  

Transition Cover-Based Design of Petri Net Controllers for Automated Manufacturing Systems

IEEE Transactions on Systems, Man, and Cybernetics: Systems, 2014
Huixia Liu, Ke-Yi Xing, MengChu Zhou
exaly