Petri Nets (PN) modeling has been proposed as an alternative to Ladder Logic Diagram (LLD) modeling to program complex programmable logic controllers (PLCs) due to its high level of abstraction and ...