Executable Petri Nets is a formal modeling framework that extends classical Petri nets by incorporating executable semantics, enabling the direct simulation and execution of behavioral workflows through explicit integration of control flow, data manipulation, and operational code annotations.
46
Publications
1.5K
Citations
108
Authors
58
Institutions
Publications per year
2017–2026
2
Parents
Publications
46
Kurt Jensen, Lars Michael Kristensen · Communications of the ACM · 2015 · 151 citations
Steady state analysis of metabolic pathways using Petri nets.
Monika Heiner, Ina Koch · PubMed · 2003 · 109 citations
WS-Net: a Petri-net based specification model for Web services
Jia Zhang, Carl K. Chang, Jen‐Yao Chung et al. · 2004 · 79 citations
1–5 of 46
Authors
108
- JB
3
h-index
- ST
3
h-index
- JM
3
h-index
- WM
3
h-index
- RB
2
h-index
1–5 of 108
Institutions
58
Aarhus University
Aarhus, Denmark
5 h-index
10 publications
452 citations
Queensland University of Technology
Brisbane, Australia
3 h-index
6 publications
90 citations
George Mason University
Fairfax, United States
3 h-index
7 publications
139 citations
Institut de Recherche en Informatique de Toulouse
Toulouse, France
3 h-index
3 publications
133 citations
Eindhoven University of Technology
Eindhoven, The Netherlands
3 h-index
5 publications
95 citations
LIP6
Paris, France
2 h-index
6 publications
369 citations
Centre National de la Recherche Scientifique
Paris, France
2 h-index
6 publications
369 citations
University of Minho
Braga, Portugal
2 h-index
3 publications
168 citations
1–8 of 58
Venues
- Proceedings - Asia Pacific Software Engineering Conference/Proceedings
APSEC · 2 publications · 76 citations
2
h-index
- International Journal on Software Tools for Technology Transfer
2 publications · 150 citations
2
h-index
- SIMULATION
1 publications · 16 citations
1
h-index
- Software Practice and Experience
1 publications · 28 citations
1
h-index
- Theoretical Computer Science
1 publications · 10 citations
1
h-index
1–5