Anfonwch hwn fel neges destun: Application and theory of Petri nets :