https://1library.net/document/qmw20769-modeling-simulation-manufacturing-using-time-petri-chavan-vishwajit.html