Title: Sieci Petriego i PN-TOOLS
Subjects: Petri nets, System analysis, System design