Fault modeling in discrete event systems using Petri Nets

Payam, Nazemzadeh., Abbas, Dideban., and Meysam, Zareiee
ACM Transactions on Embedded Computing Systems, 12(1), 2013
Publication year: 2013