Concepedia

Petri Net Languages

Petri Net Languages is a class of formal languages generated by associating sequences of transitions in a Petri net with strings over an alphabet, where the language consists of all possible transition sequences that correspond to valid firing sequences from an initial marking to some reachable marking, thereby capturing the behavioral dynamics of concurrent and distributed systems within the framework of automata theory.

155

Publications

5.5K

Citations

329

Authors

168

Institutions

Publications per year

2017–2026

10

Parents

Publications

155

Petri nets and algebraic specifications

Wolfgang Reisig · Theoretical Computer Science · 1991 · 259 citations

, , +10

On Partial Languages

Jan E. Grabowski · Fundamenta Informaticae · 1981 · 234 citations

, , +13

PETRI NET LANGUAGE

M. Hack · 1976 · 213 citations

, , +13

A Petri Net-Based Controller for Flexible and Maintainable Sequence Control and its Applications in Factory Automation

Tomohiro Murata, Norihisa Komoda, Kuniaki Matsumoto et al. · IEEE Transactions on Industrial Electronics · 1986 · 173 citations

, , +16

A New Approach for Diagnosability Analysis of Petri Nets Using Verifier Nets

Maria Paola Cabasino, Alessandro Giua, Stéphane Lafortune et al. · IEEE Transactions on Automatic Control · 2012 · 154 citations · Full text

, , +12

1–5 of 155

Authors

329

  1. AG
    Alessandro Giua

    University of Cagliari, Italy

    8 publications · 477 citations

    8

    h-index

  2. WM
    Wil M. P. van der Aalst

    Eindhoven University of Technology, Netherlands

    6 publications · 203 citations

    6

    h-index

  3. HM
    H. M. W. Verbeek

    Eindhoven University of Technology, Netherlands

    5 publications · 90 citations

    5

    h-index

  4. GW
    Glynn Winskel

    University of Cambridge, United Kingdom

    4 publications · 177 citations

    4

    h-index

  5. FC
    Franck Cassez

    Centre National de la Recherche Scientifique, France

    4 publications · 190 citations

    4

    h-index

1–5 of 329

Institutions

168

  1. Centre National de la Recherche Scientifique

    Paris, France

    8 h-index

    14 publications

    622 citations

  2. Eindhoven University of Technology

    Eindhoven, The Netherlands

    6 h-index

    12 publications

    514 citations

  3. University of Cagliari

    Cagliari, Italy

    5 h-index

    12 publications

    859 citations

  4. Politecnico di Milano

    Milan, Italy

    5 h-index

    9 publications

    413 citations

  5. Catholic University of Eichstätt-Ingolstadt

    Eichstätt, Germany

    3 h-index

    7 publications

    221 citations

  6. École Normale Supérieure Paris-Saclay

    Gif-sur-Yvette, France

    3 h-index

    4 publications

    163 citations

  7. University of Salerno

    Fisciano, Italy

    3 h-index

    6 publications

    213 citations

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

    Le Chesnay-Rocquencourt, France

    3 h-index

    3 publications

    76 citations

1–8 of 168

Venues

  1. Theoretical Computer Science

    11 publications · 620 citations

    10

    h-index

  2. Fundamenta Informaticae

    7 publications · 348 citations

    7

    h-index

  3. IEEE Transactions on Automatic Control

    7 publications · 392 citations

    7

    h-index

  4. DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)

    Repository · 5 publications · 209 citations

    5

    h-index

  5. IEEE Transactions on Software Engineering

    TSE · 4 publications · 159 citations

    4

    h-index

1–5