Concepedia

Petri Net Semantics

Petri Net Semantics is a formal framework that specifies the meaning of Petri nets by defining the computational behavior of their transitions and places through precise mathematical rules governing state evolution, thereby distinguishing it from other process modeling semantics by its reliance on token-based dynamics and concurrent execution.

699

Publications

37.5K

Citations

1.2K

Authors

523

Institutions

Publications per year

2017–2026

59

Parents

Publications

699

Petri Net theory and the modeling of systems

Mathematics and Computers in Simulation · 1982 · 3.6K citations

, , +12

Workflow mining: discovering process models from event logs

Wil M. P. van der Aalst, Ton Weijters, Laura Măruşter · IEEE Transactions on Knowledge and Data Engineering · 2004 · 2.2K citations

, , +16

Petri nets, event structures and domains, part I

Mogens Nielsen, Gordon Plotkin, Glynn Winskel · Theoretical Computer Science · 1981 · 915 citations

, , +9

Simulation, verification and automated composition of web services

Srini Narayanan, Sheila A. McIlraith · 2002 · 810 citations

, , +15

System modelling with high-level Petri nets

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

, , +11

1–5 of 699

Authors

1.2K

  1. MK
    Maciej Koutny

    Newcastle University, United Kingdom

    14 publications · 406 citations

    12

    h-index

  2. WM
    Wil M. P. van der Aalst

    Eindhoven University of Technology, Netherlands

    14 publications · 3.1K citations

    12

    h-index

  3. MS
    Manuel Silva

    Universidad de Zaragoza, Spain

    12 publications · 561 citations

    12

    h-index

  4. GW
    Glynn Winskel

    University of Cambridge, United Kingdom

    11 publications · 1.5K citations

    11

    h-index

  5. UM
    Ugo Montanari

    University of Pisa, Italy

    11 publications · 470 citations

    10

    h-index

1–5 of 1.2K

Institutions

523

  1. Centre National de la Recherche Scientifique

    Paris, France

    17 h-index

    63 publications

    2K citations

  2. University of Pisa

    Pisa, Italy

    16 h-index

    33 publications

    1.4K citations

  3. Newcastle University

    Newcastle upon Tyne, United Kingdom

    14 h-index

    27 publications

    775 citations

  4. Institut national de recherche en sciences et technologies du numérique

    Le Chesnay-Rocquencourt, France

    13 h-index

    26 publications

    616 citations

  5. Universidad de Zaragoza

    Zaragoza, Spain

    13 h-index

    34 publications

    1.7K citations

  6. Eindhoven University of Technology

    Eindhoven, The Netherlands

    12 h-index

    28 publications

    8.1K citations

  7. University of Illinois Chicago

    Chicago, United States

    11 h-index

    25 publications

    865 citations

  8. SRI International

    Menlo Park, United States

    10 h-index

    16 publications

    1.7K citations

1–8 of 523

Venues

  1. Theoretical Computer Science

    42 publications · 3.9K citations

    27

    h-index

  2. Fundamenta Informaticae

    23 publications · 817 citations

    14

    h-index

  3. Information and Computation

    11 publications · 649 citations

    11

    h-index

  4. Electronic Notes in Theoretical Computer Science

    ENTCS · 13 publications · 382 citations

    11

    h-index

  5. Science of Computer Programming

    10 publications · 493 citations

    10

    h-index

1–5