Introduction to Petri nets.- Introduction to GPenSIM.- Models of
Real-Life Systems.- GPenSIM for Monolithic Petri nets.- Literature
Review on Modular Petri nets.- Towards Developing a New Modular Petri
net.- Design of a New Modular Petri nets.- GPenSIM Support for Petri
Modules.- Module Extraction.- Activity-Oriented Petri nets (AOPN).