The methodology for constructing the linear and linear-cyclic basic fragments by means of decomposition of PN-model
暂无分享,去创建一个
Dmitry Pashchenko | Nikolas Konnov | Dmitriy Trokoz | Andrew Krasnov | Paul Cheche | Tania Pashchenko
[1] King Sing Cheung,et al. Augmented Marked Graphs , 2014, Springer International Publishing.
[2] Michel Diaz,et al. Petri Nets: Fundamental Models, Verification and Applications , 2009 .
[3] Thomas Chatain,et al. A Canonical Contraction for Safe Petri Nets , 2013, PNSE+ModPE.
[4] Marco Beccuti,et al. Analysis of Petri Net Models through Stochastic Differential Equations , 2014, Petri Nets.
[5] Wolfgang Reisig,et al. Understanding Petri nets , 1995, IEEE Parallel & Distributed Technology: Systems & Applications.
[6] Wolfgang Reisig,et al. Understanding Petri Nets Modeling Techniques, Analysis Methods, Case Studies , 2013, Bull. EATCS.
[7] Dmitry Pashchenko,et al. Formal Transformation Inhibitory Safe Petri Nets into Equivalent not Inhibitory , 2015 .
[8] Gang Wang,et al. Design of liveness-enforcing supervisors with simpler structures for deadlock-free operations in flexible manufacturing systems using necessary siphons , 2013, J. Intell. Manuf..