Results 351 to 360 of about 3,623,879 (377)
Some of the next articles are maybe not open access.
A Petri Net Diagnoser for Discrete Event Systems Modeled by Finite State Automata
IEEE Transactions on Automatic Control, 2015F. G. Cabral +3 more
semanticscholar +1 more source
Stochastic Timed Petri Nets and Stochastic Petri Nets
1998Stochastic timed Petri nets (STPN’s) are Petri nets in which stochastic firing times are associated with transitions. An STPN is essentially a high-level model that generates a stochastic process. STPN-based performance evaluation basically comprises modeling the given system by an STPN and automatically generating the stochastic process that governs ...
openaire +2 more sources
Charlie - An Extensible Petri Net Analysis Tool
Applications and Theory of Petri Nets, 2015M. Heiner +2 more
semanticscholar +1 more source
IEEE Transactions on Automation Science and Engineering, 2015
T. Nishi, Izuru Matsumoto
semanticscholar +1 more source
T. Nishi, Izuru Matsumoto
semanticscholar +1 more source
New Petri Net Structure and Its Application to Optimal Supervisory Control: Interval Inhibitor Arcs
IEEE Transactions on Systems, Man, and Cybernetics: Systems, 2014Yufeng Chen +3 more
semanticscholar +1 more source
Transition Cover-Based Design of Petri Net Controllers for Automated Manufacturing Systems
IEEE Transactions on Systems, Man, and Cybernetics: Systems, 2014Huixia Liu +4 more
semanticscholar +1 more source
Toward the Minimal Universal Petri Net
IEEE Transactions on Systems, Man, and Cybernetics: Systems, 2014D. Zaitsev
semanticscholar +1 more source
Petri Net Modeling and Cycle-Time Analysis of Dual-Arm Cluster Tools With Wafer Revisiting
IEEE Transactions on Systems, Man, and Cybernetics: Systems, 2013N. Wu, F. Chu, C. Chu, Mengchu Zhou
semanticscholar +1 more source
IEEE transactions on semiconductor manufacturing, 2013
Yan Qiao, N. Wu, Mengchu Zhou
semanticscholar +1 more source
Yan Qiao, N. Wu, Mengchu Zhou
semanticscholar +1 more source