International Conference on Applications and Theory of Petri Nets | AMiner期刊详情 | AMiner

International Conference on Applications and Theory of Petri Nets | AMiner期刊详情 | AMiner

年发文量

研究主题

论文（1506）

排序

时间引用

1Structured Concurrency Semantics for Series-Parallel Orders.

Maciej Koutny,Lukasz Mikulski

2026

引用

2From Objects to Agents and Beyond: Revisiting Coordination and Controllability in Digital Systems.

Ulrike Steffens

2026

引用

3Objects, Processes and the Colours of the Rainbow: Towards a Conceptual Model for Object-Centric Processes.

2026

引用

4Declarative Modelling and Analysis of Reversing Petri Nets.

Yannis Dimopoulos, Eleftheria Kouppari,Anna Philippou

2026

引用

5The Complexity of Alignments on (Un-)Labeled and (Un-)Bounded Petri Nets.

Patrizia Schalk,Robert Lorenz,Jakub Kovár,Robin Bergenthum

2026

引用

6GTM: an Enhanced Genetic Algorithm for Process Discovery.

Jeppe Berg Axelse, Frederik Hecter Kowalski, Richard Nygård, Jirí Srba

2026

引用

7Research Software for Petri Net Research.

Wilhelm Hasselbring

2026

引用

8Towards Roundtrip Engineering for Java and Agent Interaction Protocols with Petri Net-Based Semantics.

Niklas Levens, Lukas Seifert, Leon Zander, Philipp Schult, Sonja Kagan, Ole Methler, Marcel Hansson,Daniel Moldt

2026

引用

9Petriflow Query Language.

Gabriel Juhás, Juraj Mazári,Tomás Kovácik,Milan Mladoniczky, Martin Sirán

2026

引用

10CSharPN: A Code-First Framework for Coloured Petri Net Modelling with C# As Inscription Language.

Simon Tjell

2026

引用

11Symmetry Preservation in Modular Rewritable Muliformalism Models.

Lorenzo Capra, Federico Bruzzone

2026

引用

12LAMAS: an Organisation-Centred Architecture for Agentic AI.

Babette Dellen, Michael Köhler-Bußmeier, Wied Pakusa,Jan Sudeikat

2026

引用

13WatchPoints for Renew.

Marcel Hansson,Daniel Moldt, Kim Wittenburg, Christian Bracker

2026

引用

14Modelling Multi-Level Learning in Multi-Agent-systems with Stochastic Nets-Within-nets.

Michael Köhler-Bußmeier,Lorenzo Capra,Heiko Rölke

2026

引用

15Discrete-event System Model Discovery under Observational Ambiguity: Counterexample Generation Via Spectral Learning.

Wei Cheng,Andrea Matta

2026

引用

16Tensorised Simulation of Place/transition-Petri Nets in PyTorch.

2026

引用

17Loop Home Markings (looms) in Free-Choice Nets with Home Clusters.

Thomas M. Prinz, Wil M. P. van der Aalst, Christopher T. Schwanen,Yongsun Choi

2026

引用

18Distributed Colored Petri Net Simulation - Synchronized Transitions Based on Event Streaming.

Laif-Oke Clasen, Justus Middendorf, Leo Grimme, Leven Wichelmann, Finn Bolinius, Sam Knoop,Daniel Moldt

2026

引用

19Organisational Mode Switching for Controlled Run-Time Adaptation in Industrial Multi-Agent Systems.

Finn Wellershaus, Michael Köhler-Bußmeier,Jan Sudeikat

2026

引用

20Process Discovery As a Global Place Combination Problem.

Tobias Brockhoff, Christopher T. Schwanen,Lisa Luise Mannel,Wil M. P. van der Aalst

2026

引用

高被引作者

作者	引用	发文
Wil M. P. Van Der Aalst	3377	47
Boudewijn Van Dongen	1895	11
A. K. Alves De Medeiros	1691	3
A. J. M. M. Weijters	1691	3
Henricus M. W. Verbeek (Eric)	1679	12
Kurt Jensen	1201	10
Søren Christensen	1016	9
Manuel Silva	963	10
Dirk Fahland	943	7
Sander J. J. Leemans	849	7

高产作者

作者	引用	发文
Wil M. P. Van Der Aalst	3377	47
Daniel Moldt	555	36
Maciej Koutny	335	33
Lars Michael Kristensen	453	26
Jörg Desel	363	23
Serge Haddad	347	22
Eike Best	235	22
Lucia Pomello	365	22
Robin Bergenthum	186	21
Robert Lorenz	245	20

相关期刊

Journal of Automated Reasoning

International Journal on Software Tools for Technology Transfer

International Conference on Application of Concurrency to System Design

International Conference on Computer Aided Verification

International Conference on Verification, Model Checking and Abstract Interpretation

Automated Technology for Verification and Analysis

NASA Formal Methods

Electronic proceedings in theoretical computer science

Journal of Logical and Algebraic Methods in Programming

Theory and Practice of Logic Programming