Petri Net Computers and Workflow Nets. - Ferucio Laurentiu Tiplea; Raluca A. Diaconu (IEEE Trans. Syst. Man Cybern. Syst., 2015)