Formal Transformation Inhibitory Safe Petri Nets into Equivalent not Inhibitory

• 期刊名称Procedia Computer Science
• 作者Pashchenko, Dmitry; Trokoz, Dmitry; Konnov, Nikolas; Sinev, Mikel
• 卷第49卷
• 印刷ISSN1877-0509
• 文件大小190.16KB
• 发表时间2015
• DOI10.1016/j.procs.2015.04.232
• 页码99-103