Petri Nets Research Group

A subgroup of System Modeling and Simulation group.

Research interests

  • Object oriented Petri nets (OOPNs)
  • Time extensions of Petri nets
  • Temporal and real-time logics with respect to Petri nets
  • Analysis methods of high-level nets and their time extensions
  • Computer tools based on OOPNs
  • Applications of OOPNs

Long Term Projects

Your IPv4 address: 38.107.179.212
Switch to IPv6 connection

DNSSEC [dnssec]