Concepedia

Petri Net Model Checking

Petri Net Model Checking is a formal verification method that systematically analyzes the state space of a system modeled as a Petri net to determine whether the model satisfies specified temporal logic properties.

353

Publications

17.4K

Citations

680

Authors

340

Institutions

Publications per year

2017–2026

63

Parents

Publications

353

THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT

Wil M. P. van der Aalst · Journal of Circuits Systems and Computers · 1998 · 2.7K citations

, , +17

Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems

Kurt Jensen, Lars Michael Kristensen, Lisa Wells · International Journal on Software Tools for Technology Transfer · 2007 · 1.1K citations

, , +11

Modeling and verification of time dependent systems using time Petri nets

Bernard Berthomieu, M. Díaz · IEEE Transactions on Software Engineering · 1991 · 1.1K citations

, , +17

Petri nets for systems engineering: a guide to modeling, verification, and applications

Claude Girault, Rüdiger Valk · HAL (Le Centre pour la Communication Scientifique Directe) · 2003 · 485 citations

, , +17

Deadlock analysis of Petri nets using siphons and mathematical programming

Feng Chu, Xiaolan Xie · IEEE Transactions on Robotics and Automation · 1997 · 453 citations

, , +14

1–5 of 353

Authors

680

  1. ZL
    Zhiwu Li

    Xidian University, China

    10 publications · 694 citations

    10

    h-index

  2. CS
    Carla Seatzu

    University of Cagliari, Italy

    8 publications · 508 citations

    8

    h-index

  3. WM
    Wil M. P. van der Aalst

    Eindhoven University of Technology, Netherlands

    8 publications · 3.1K citations

    8

    h-index

  4. GL
    Guanjun Liu

    Tongji University, China

    7 publications · 138 citations

    7

    h-index

  5. YT
    Yin Tong

    University of Cagliari, Italy

    7 publications · 442 citations

    7

    h-index

1–5 of 680

Institutions

340

  1. Centre National de la Recherche Scientifique

    Paris, France

    19 h-index

    46 publications

    4K citations

  2. Xidian University

    Xi'an, China

    12 h-index

    28 publications

    1.6K citations

  3. University of Cagliari

    Cagliari, Italy

    11 h-index

    24 publications

    1.6K citations

  4. Macau University of Science and Technology

    Macao, Macao

    10 h-index

    14 publications

    804 citations

  5. Newcastle University

    Newcastle upon Tyne, United Kingdom

    9 h-index

    19 publications

    894 citations

  6. Tongji University

    Shanghai, China

    9 h-index

    19 publications

    442 citations

  7. Universidade Nova de Lisboa

    Lisbon, Portugal

    9 h-index

    16 publications

    367 citations

  8. University of Kaiserslautern

    Kaiserslautern, Germany

    8 h-index

    18 publications

    870 citations

1–8 of 340

Venues

  1. Automatica

    11 publications · 535 citations

    11

    h-index

  2. Electronic Notes in Theoretical Computer Science

    ENTCS · 10 publications · 434 citations

    10

    h-index

  3. Theoretical Computer Science

    9 publications · 410 citations

    9

    h-index

  4. Reliability Engineering & System Safety

    7 publications · 292 citations

    7

    h-index

  5. IEEE Transactions on Automatic Control

    7 publications · 609 citations

    7

    h-index

1–5