Title: Petri nets - manufacturing and computer science