Petri Net Models

Petri Net Models is a formal modeling framework within software modeling that represents dynamic systems as a directed bipartite graph of places and transitions, distinguished by its ability to capture concurrent, asynchronous, and distributed behaviors through token-based state evolution.

3.9K

Publications

179.7K

Citations

5.4K

Authors

1.6K

Institutions

Publications per year

2017–2026

473

Authors

5.4K

  1. MZ
    MengChu Zhou

    New Jersey Institute of Technology, United States

    157 publications · 11.3K citations

    56

    h-index

  2. ZL
    Zhiwu Li

    Xidian University, China

    93 publications · 6.3K citations

    42

    h-index

  3. NW
    Naiqi Wu

    Macau University of Science and Technology, Macao SAR China

    63 publications · 4K citations

    37

    h-index

  4. AG
    Alessandro Giua

    University of Cagliari, Italy

    80 publications · 4.1K citations

    35

    h-index

  5. CS
    Carla Seatzu

    University of Cagliari, Italy

    62 publications · 2.6K citations

    28

    h-index

1–5 of 5.4K

Venues

  1. IEEE Transactions on Software Engineering

    TSE · 78 publications · 7.4K citations

    44

    h-index

  2. IEEE Transactions on Automatic Control

    77 publications · 5K citations

    41

    h-index

  3. 40

    h-index

  4. 39

    h-index

  5. 33

    h-index

1–5