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

    Your IPv4 address: 54.242.233.11
    Switch to IPv6 connection

    DNSSEC [dnssec]