Polynomial Time Verification of Protocol Inheritance between Acyclic Extended Free-Choice Workflow Nets and Their Subnets
2013 ◽
Vol E96.A
(2)
◽
pp. 505-513
◽
2014 ◽
Vol E97.D
(5)
◽
pp. 1181-1187
◽
2014 ◽
Vol E97.A
(2)
◽
pp. 468-475
◽
2019 ◽
Vol E102.A
(2)
◽
pp. 336-342
2012 ◽
Vol E95.D
(5)
◽
pp. 1375-1379
◽
2019 ◽
Vol 13
(2)
◽
pp. 104-111