Text this: Algorithm to convert programmable logic controller Ladder Logic Diagram models to Petri Net models