TGI

• Homepage
• Announcements
• Staff
• Students

Education

• Education (German only)

Research

• Research
• Publications

Misc

• Service
• Tools
• Petri Nets World
  

Service

Veranstaltungen (German only)

Petri Nets

• Petri net pages
• Petri nets bibliography
  • Access via browser (alphabetical)
  • Access via search engine

Agents and multi-agent systems

• PAOSE – Petri net based agent oriented software engineering

Further Links

• Formal Methods Page (University of Reading)
• Gesellschaft für Informatik: Fachgruppe 0.0.1 - Petrinetze und verwandte Systemmodelle (German only)
• Renew