Concepedia

High-level Petri Nets

High-Level Petri Nets is a formal modeling framework that extends classical Petri nets by incorporating data structures, complex token types, and hierarchical constructs to enable more compact and abstract representations of distributed systems.

237

Publications

19.4K

Citations

470

Authors

214

Institutions

Publications per year

2017–2026

19

Variants

Hlpn

Parents

Publications

237

Petri nets: Properties, analysis and applications

T. Murata · Proceedings of the IEEE · 1989 · 10.5K citations

, , +15

System modelling with high-level Petri nets

Hartmann J. Genrich, Kurt Lautenbach · Theoretical Computer Science · 1981 · 654 citations

, , +11

Petri nets and industrial applications: A tutorial

Richard Zurawski, MengChu Zhou · IEEE Transactions on Industrial Electronics · 1994 · 589 citations

, , +16

A unified high-level Petri net formalism for time-critical systems

Carlo Ghezzi, Dino Mandrioli, Sandro Morasca et al. · IEEE Transactions on Software Engineering · 1991 · 345 citations

, , +15

Stochastic well-formed colored nets and symmetric modeling applications

G. Chiola, C. Dutheillet, G. Franceschinis et al. · IEEE Transactions on Computers · 1993 · 334 citations

, , +17

1–5 of 237

Authors

470

  1. SU
    Saif Ur Rehman Malik

    COMSATS University Islamabad, Pakistan

    7 publications · 268 citations

    7

    h-index

  2. VR
    Victor R.L. Shen

    National Taipei University, Taiwan

    6 publications · 233 citations

    7

    h-index

  3. DX
    Dianxiang Xu

    North Dakota State University, United States

    6 publications · 178 citations

    6

    h-index

  4. AW
    Armando Walter Colombo

    University of Applied Sciences Emden Leer, Germany

    6 publications · 140 citations

    6

    h-index

  5. MP
    Mauro Pezzè

    University of Milano-Bicocca, Italy

    6 publications · 469 citations

    6

    h-index

1–5 of 470

Institutions

214

  1. Politecnico di Milano

    Milan, Italy

    10 h-index

    24 publications

    1.9K citations

  2. National Taipei University

    Taipei, Taiwan

    6 h-index

    9 publications

    317 citations

  3. University of Turin

    Turin, Italy

    6 h-index

    9 publications

    837 citations

  4. North Dakota State University

    Fargo, United States

    6 h-index

    10 publications

    409 citations

  5. Karlsruhe Institute of Technology

    Karlsruhe, Germany

    6 h-index

    9 publications

    133 citations

  6. COMSATS University Islamabad

    Islamabad, Pakistan

    6 h-index

    22 publications

    590 citations

  7. Florida International University

    Miami, United States

    6 h-index

    9 publications

    234 citations

  8. University of Illinois Chicago

    Chicago, United States

    5 h-index

    7 publications

    10.9K citations

1–8 of 214

Venues

  1. IEEE Transactions on Software Engineering

    TSE · 7 publications · 726 citations

    7

    h-index

  2. International Journal of Production Research

    6 publications · 128 citations

    6

    h-index

  3. IEEE Transactions on Knowledge and Data Engineering

    TKDE · 5 publications · 168 citations

    5

    h-index

  4. Electronic Notes in Theoretical Computer Science

    ENTCS · 5 publications · 258 citations

    5

    h-index

  5. IEEE Access

    5 publications · 104 citations

    5

    h-index

1–5