researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
Links
Filter by Year
[-]
OR
AND
NOT
1
1981
1982
1983
1984
1985
1986
1987
1988
1989
1990
1991
1992
1993
1994
1995
1996
1997
1998
1999
2000
2001
2002
2003
2004
2005
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
Filter by Tag
[+]
OR
AND
NOT
1
algebra
C++
Meta-Environment
analysis
composition
data-flow
design
e-science
graph-rewriting
meta-model
meta-objects
model checking
modeling
programming
protocol
rewriting
rule-based
semantics
systematic-approach
workflow
Filter by Author
[+]
OR
AND
NOT
1
Daniel Moldt
Eike Best
Ekkart Kindler
Gabriel Juhás
Jan Martijn E. M. van der Werf
Jörg Desel
Karsten Wolf
Lars Michael Kristensen
Laure Petrucci
Lawrence Cabac
Luca Bernardinello
Lucia Pomello
Maciej Koutny
Manuel Silva
Michael Haustermann
Raymond R. Devillers
Robin Bergenthum
Serge Haddad
Wil M. P. van der Aalst
Wolfgang Reisig
Filter by Top terms
[+]
OR
AND
NOT
1
analysis
application
coloured
conference
event
international
june
model
modeling
modelling
models
net
nets
petri
proceedings
process
systems
theory
time
using
ICATPN (apn)
Editions
Publications
Viewing Publication 1 - 100 from 1485
2023
Application and Theory of Petri Nets and Concurrency - 44th International Conference, PETRI NETS 2023, Lisbon, Portugal, June 25-30, 2023, Proceedings
Luís Gomes 0001
,
Robert Lorenz 0001
, editors,
Volume 13929 of
Lecture Notes in Computer Science
, Springer,
2023.
[doi]
Symbolic Analysis and Parameter Synthesis for Time Petri Nets Using Maude and SMT Solving
Jaime Arias 0001
,
Kyungmin Bae
,
Carlos Olarte
,
Peter Csaba Ölveczky
,
Laure Petrucci
,
Fredrik Rømming
.
apn 2023
:
369-392
[doi]
Slicing Petri Nets to Reduce Their Complexity - Abstract
Carlos Galindo 0002
,
Marisa Llorens
,
Sergio Pérez 0001
,
Josep Silva
.
apn 2022
:
[doi]
Solving a Safety Game on the Unfolding of Safe Petri Nets
Federica Adobbati
,
Luca Bernardinello
,
Lucia Pomello
.
apn 2023
:
53-69
[doi]
Parameterised CSA-nets
Mohammed Alahmadi
.
apn 2023
:
167-182
[doi]
Hierarchical Simulation of Timed Behaviours of Structured Occurrence Nets
Salma Alharbi
.
apn 2023
:
143-166
[doi]
Probabilistic Behavioural Acyclic Nets
Nadiyah Almutairi
.
apn 2023
:
[doi]
Integrating NLP and Structured Occurrence Nets for Crime Modelling: A Pattern-based Approach
Tuwailaa Alshammari
.
apn 2023
:
[doi]
Automated Polyhedral Abstraction Proving
Nicolas Amat
,
Silvano Dal-Zilio
,
Didier Le Botlan
.
apn 2023
:
324-345
[doi]
There and Back Again - On the Reconstructability and Rediscoverability of Typed Jackson Nets
Daniël Barenholz
,
Marco Montali
,
Artem Polyvyanyy
,
Hajo A. Reijers
,
Andrey Rivkin
,
Jan Martijn E. M. van der Werf
.
apn 2023
:
37-58
[doi]
Inferring Activity Concurrency Relations from Incomplete Event Logs
César Barrón-Rubio
,
Ernesto López-Mellado
.
apn 2022
:
[doi]
Token Trail Semantics - Modeling Behavior of Petri Nets with Labeled Petri Nets
Robin Bergenthum
,
Sabine Folz-Weinstein
,
Jakub Kovár
.
apn 2023
:
286-306
[doi]
Transforming Dynamic Condition Response Graphs to Safe Petri Nets
Vlad Paul Cosma
,
Thomas T. Hildebrandt
,
Tijs Slaats
.
apn 2023
:
417-439
[doi]
Towards an Agile Distributed Management System Based on Petri Nets
Jose Jean-Paul Zanlucchi de Souza Tavares
,
José Reinaldo Silva
.
apn 2022
:
[doi]
On the Reversibility of Circular Conservative Petri Nets
Raymond R. Devillers
.
apn 2023
:
307-323
[doi]
Modeling Interaction-Oriented Architectures using Choreographies
Kyle Dingenouts
,
Mitchell Klijs
,
Jan Martijn E. M. van der Werf
.
apn 2023
:
126-142
[doi]
Experimenting with Stubborn Sets on Petri Nets
Sami Evangelista
.
apn 2023
:
346-365
[doi]
A Myhill-Nerode Theorem for Higher-Dimensional Automata
Uli Fahrenberg
,
Krzysztof Ziemianski
.
apn 2023
:
167-188
[doi]
2 Miner - Process Discovery for Partially Ordered Event Logs Using Integer Linear Programming
Sabine Folz-Weinstein
,
Robin Bergenthum
,
Jörg Desel
,
Jakub Kovár
.
apn 2023
:
59-76
[doi]
Towards a Formal and Executable Software Architecture Specification of the Smart Ocean Data Service Platform
Rogardt Heldal
,
Lars Michael Kristensen
,
Keila Lima
,
Tosin Daniel Oyetoyan
,
Ngoc-Thanh Nguyen 0002
.
apn 2023
:
110-125
[doi]
Computing Under-approximations of Multivalued Decision Diagrams
Seyedehzahra Hosseini
,
Gianfranco Ciardo
.
apn 2023
:
243-263
[doi]
Mochy: A Tool for the Modeling of Concurrent Hybrid Systems
Loïc Hélouët
,
Antoine Thébault
.
apn 2023
:
205-216
[doi]
Interval Traces with Mutex Relation
Ryszard Janicki
,
Maciej Koutny
,
Lukasz Mikulski
.
apn 2023
:
145-166
[doi]
Petri-Nets@Run.Time: Handling Uncertainty during Run-Time Adaptation using Digital Twins
Michael Köhler-Bussmeier
,
Heiko Rölke
.
apn 2023
:
34-52
[doi]
Proceedings of the 2023 International Workshop on Petri Nets and Software Engineering (PNSE 2023) co-located with the 44th International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2023), June 27, 2023, Lisbon, Portugal
Michael Köhler-Bussmeier
,
Daniel Moldt
,
Heiko Rölke
, editors,
Volume 3430 of
CEUR Workshop Proceedings
, CEUR-WS.org,
2023.
[doi]
Robustness: A natural Definition based on Nets-within-Nets
Michael Köhler-Bussmeier
,
Lorenzo Capra
.
apn 2023
:
70-87
[doi]
Revisiting the Alpha Algorithm To Enable Real-Life Process Discovery Applications
Aaron Küsters
,
Wil M. P. van der Aalst
.
apn 2022
:
[doi]
A State Class Based Controller Synthesis Approach for Time Petri Nets
Loriane Leclercq
,
Didier Lime
,
Olivier H. Roux
.
apn 2023
:
393-414
[doi]
Safety-oriented Testing for High-speed Rail Onboard Equipment Using Petri Nets
Yike Li
,
Yin Tong
,
Marco Demuro
,
Alessandro Giua
.
apn 2022
:
[doi]
Modelling Data-Aware Stochastic Processes - Discovery and Conformance Checking
Felix Mannhardt
,
Sander J. J. Leemans
,
Christopher T. Schwanen
,
Massimiliano de Leoni
.
apn 2023
:
77-98
[doi]
A Symmetric Petri Net Model of Generic Publish-Subscribe Systems for Verification and Business Process Conformance Checking
Tom Meyer
.
apn 2023
:
88-109
[doi]
Enriching Heraklit Modules by Agent Interaction Diagrams
Daniel Moldt
,
Marcel Hansson
,
Lukas Seifert
,
Karl Ihlenfeldt
,
Laif-Oke Clasen
,
Kjell Ehlers
,
Matthias Feldmann
.
apn 2023
:
440-463
[doi]
RENEW: Modularized Architecture and New Features
Daniel Moldt
,
Jonte Johnsen
,
Relana Streckenbach
,
Laif-Oke Clasen
,
Michael Haustermann
,
Alexander Heinze
,
Marcel Hansson
,
Matthias Feldmann
,
Karl Ihlenfeldt
.
apn 2023
:
217-228
[doi]
Model Checking of Strategic Timed Temporal Logics (Invited Talk)
Wojciech Penczek
.
apn 2023
:
[doi]
A Syntax-Independent Code Generation Tool for IOPT-Petri Nets
Fernando Pereira
,
Filipe Moutinho
,
Luís Gomes 0001
.
apn 2022
:
[doi]
Synthesising Elementary Net Systems with Interval Order Semantics
Marta Pietkiewicz-Koutny
,
Maciej Koutny
.
apn 2022
:
[doi]
Improving the eST-Miner Models by Replacing Imprecise Structures Using Place Projection
Christian Rennert
,
Lisa Luise Mannel
,
Wil M. P. van der Aalst
.
apn 2022
:
[doi]
From Process-Agnostic to Process-Aware Automation, Mining, and Prediction
Stefanie Rinderle-Ma
,
Janik-Vasily Benzin
,
Juergen Mangler
.
apn 2023
:
3-15
[doi]
DisCoveR: Process Mining for Knowledge-Intensive Processes with DCR Graphs
Tijs Slaats
.
apn 2022
:
[doi]
Exact and Approximated Log Alignments for Processes with Inter-case Dependencies
Dominique Sommers
,
Natalia Sidorova
,
Boudewijn F. van Dongen
.
apn 2023
:
99-119
[doi]
Efficient Strategies to Compute Invariants, Bounds and Stable Places of Petri nets
Yann Thierry-Mieg
.
apn 2023
:
17-33
[doi]
Twin Transitions Powered By Event Data - Using Object-Centric Process Mining To Make Processes Digital and Sustainable
Wil M. P. van der Aalst
.
apn 2022
:
[doi]
A Petri-Net-Based Approach to Modeling Communication Algorithms for HPC Molecular Dynamics Simulations
Theresa Werner
,
Christof Päßler
,
Ivo Kabadshow
,
Matthias Werner
.
apn 2023
:
1-16
[doi]
Hippo-CPS: A Tool for Verification and Analysis of Petri Net-Based Cyber-Physical Systems
Remigiusz Wisniewski
,
Grzegorz Bazydlo
,
Marcin Wojnakowski
,
Mateusz Poplawski
.
apn 2023
:
191-204
[doi]
Stochastic Decision Petri Nets
Florian Wittbold
,
Rebecca Bernemann
,
Reiko Heckel
,
Tobias Heindel
,
Barbara König 0001
.
apn 2023
:
264-285
[doi]
Taking Complete Finite Prefixes to High Level, Symbolically
Nick Würdemann
,
Thomas Chatain
,
Stefan Haar
.
apn 2023
:
123-144
[doi]
Formal Modelling, Analysis, and Synthesis of Modular Industrial Systems Inspired by Net Condition/Event Systems
Midhun Xavier
,
Sandeep Patil
,
Victor Dubinin
,
Valeriy Vyatkin
.
apn 2023
:
16-33
[doi]
Explorative Process Discovery Using Activity Projections
Yisong Zhang
,
Wil M. P. van der Aalst
.
apn 2023
:
229-239
[doi]
2022
Analysis of Patient Pathways with Contextual Process Mining
Fazle Rabbi 0001
,
Bahareh Fatemi
,
Wendy MacCaull
.
apn 2022
:
[doi]
Proceedings of the Workshop on Algorithms & Theories for the Analysis of Event Data co-located with the 43rd International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2022), Bergen, Norway, June 19-24, 2022
Robert Lorenz 0001
,
Jan Martijn E. M. van der Werf
,
Sebastiaan J. van Zelst
, editors,
Volume 3167 of
CEUR Workshop Proceedings
, CEUR-WS.org,
2022.
[doi]
Joint Proceedings of the Workshop on Algorithms & Theories for the Analysis of Event Data and the International Workshop on Petri Nets for Twin Transition co-located with the 44th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2023), Caparica, Portugal, June 25-30, 2023
Luís Gomes 0001
,
Paulo Leitão
,
Robert Lorenz 0001
,
Jan Martijn E. M. van der Werf
,
Sebastiaan J. van Zelst
, editors,
Volume 3424 of
CEUR Workshop Proceedings
, CEUR-WS.org,
2022.
[doi]
Preface
apn 2022
:
[doi]
Analysing Multi-Agent Systems using 1-safe Petri Nets
Federica Adobbati
,
Lukasz Mikulski
.
apn 2022
:
139-155
[doi]
Implementable Strategies for a Two-Player Asynchronous Game on Petri Nets
Federica Adobbati
,
Luca Bernardinello
,
Lucia Pomello
,
Riccardo Stramare
.
apn 2022
:
69-75
[doi]
Information Flow among Transitions of Bounded Equal-Conflict Petri Nets
Federica Adobbati
,
Luca Bernardinello
,
Görkem Kilinç Soylu
,
Lucia Pomello
.
apn 2022
:
60-79
[doi]
Reset Petri Net Unfolding Semantics for Ecosystem Hypergraphs
Giann Karlo Aguirre-Samboní
,
Cédric Gaucherel
,
Stefan Haar
,
Franck Pommereau
.
apn 2022
:
213-214
[doi]
Minimising the Synthesised ENL-Systems
Aishah Ahmed
,
Marta Pietkiewicz-Koutny
.
apn 2022
:
43-59
[doi]
Parametrisation of CSA-Nets
Mohammed Alahmadi
.
apn 2022
:
215-216
[doi]
Probabilistic Communication Structured Acyclic Nets
Nadiyah Almutairi
.
apn 2022
:
168-187
[doi]
Towards Automatic Extraction of Events for SON Modelling
Tuwailaa Alshammari
.
apn 2022
:
188-201
[doi]
Kong: A Tool to Squash Concurrent Places
Nicolas Amat
,
Louis Chauvet
.
apn 2022
:
115-126
[doi]
The Ins and Outs of Petri Net Composition
Elvio G. Amparore
,
Susanna Donatelli
.
apn 2022
:
278-299
[doi]
Discovering Unseen Behaviour from Event Logs
Abel Armas-Cervantes
,
Farbod Taymouri
.
apn 2022
:
23-42
[doi]
A Case Study on Data Protection for a Cloud- and AI-based Homecare Medical Device
Philipp Bende
,
Olga Vovk
,
David Caraveo
,
Ludwig Pechmann
,
Martin Leucker
.
apn 2022
:
[doi]
A First Glimpse at Petri Net Regions
Robin Bergenthum
,
Jakub Kovár
.
apn 2022
:
60-68
[doi]
Layered Memory Automata: Recognizers for Quasi-Regular Languages with Unbounded Memory
Clément Bertrand
,
Hanna Klaudel
,
Frédéric Peschanski
.
apn 2022
:
43-63
[doi]
Forward and Backward Compatibility Deign Techniques Applying the HL7 FHIR Standard
Igor Bossenko
,
Gunnar Piho
,
Peeter Ross
.
apn 2022
:
[doi]
Enhancement of Renew to Version 4.0 using JPMS
Laif-Oke Clasen
,
Daniel Moldt
,
Marcel Hansson
,
Sven Willrodt
,
Lukas Voß
.
apn 2022
:
156-167
[doi]
The Chameleon Game
Jörg Desel
.
apn 2022
:
202-210
[doi]
Synthesis of Inhibitor-Reset Petri Nets: Algorithmic and Complexity Issues
Raymond R. Devillers
,
Ronny Tredup
.
apn 2022
:
213-235
[doi]
VR-based rehabilitation of cognitive functions among stroke-survivors
Severin A. Eliassen
,
Harald Soleim
,
Atle Birger Geitung
,
Lars Peder V. Bovim
.
apn 2022
:
[doi]
Adaptative Systems Based on Continuous Observation of Petri Net Product Lines
Elena Gómez-Martínez
,
José Ignacio Requeno
.
apn 2022
:
211-212
[doi]
The Synthesis Problem for Repeatedly Communicating Petri Games
Paul Hannibal
,
Ernst-Rüdiger Olderog
.
apn 2022
:
236-257
[doi]
Partial Specifications of Component-Based Systems using Petri Nets
Bart-Jan Hilbrands
,
Debjyoti Bera
,
Benny Akesson
.
apn 2022
:
21-39
[doi]
Waiting Nets
Loïc Hélouët
,
Pranay Agrawal
.
apn 2022
:
67-89
[doi]
Digital Twins: An Emerging Paradigm for Model-Centric Engineering (Invited Talk)
Einar Broch Johnsen
.
apn 2022
:
219
[doi]
Deadlocks and Livelocks in Resource Constrained Workflow Nets
Gabriel Juhás
,
Ana Juhásová
,
Tomás Kovácik
.
apn 2022
:
76-100
[doi]
Using SNOMED CT as a Semantic Model for Controlled Natural Language Guided Capture of Clinical Data
Kristian Kankainen
,
Toomas Klementi
,
Gunnar Piho
,
Peeter Ross
.
apn 2022
:
[doi]
Avoiding Exponential Explosion in Petri Net Models of Control Flows
Victor Khomenko
,
Maciej Koutny
,
Alex Yakovlev
.
apn 2022
:
261-277
[doi]
Prospective Research Topics towards Preserving Electronic Health Records in Decentralised Content-Addressable Storage Networks
Toomas Klementi
,
Kristian Juha Ismo Kankainen
,
Gunnar Piho
,
Peeter Ross
.
apn 2022
:
[doi]
Analysing Adaption Processes of Hornets
Michael Köhler-Bussmeier
,
Heiko Rölke
.
apn 2022
:
80-98
[doi]
Petri Nets and Software Engineering 2022 co-located with the 43rd International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2022), Bergen, Norway, June 20th, 2022
Michael Köhler-Bussmeier
,
Daniel Moldt
,
Heiko Rölke
, editors,
Volume 3170 of
CEUR Workshop Proceedings
, CEUR-WS.org,
2022.
[doi]
Proceedings of The International Health Data Workshop co-located with 10th International Conference on Petrinets (Petri Nets 2022), Bergen, Norway, June 26th-27th, 2022
Yngve Lamo
,
Adrian Rutle
, editors,
Volume 3264 of
CEUR Workshop Proceedings
, CEUR-WS.org,
2022.
[doi]
Leveraging Frequencies in Event Data a Pledge for Stochastic Process Mining
Sander J. J. Leemans
.
apn 2022
:
1-8
[doi]
Discovering Process Models with Long-Term Dependencies While Providing Guarantees and Handling Infrequent Behavior
Lisa Luise Mannel
,
Wil M. P. van der Aalst
.
apn 2022
:
303-324
[doi]
IOPT-Tools - From Executable Models to Automatic Code Generation for Embedded Controllers Development
Fernando Pereira
,
Filipe Moutinho
,
Anikó Costa
,
João Paulo Barros
,
Rogério Campos-Rebelo
,
Luís Gomes 0001
.
apn 2022
:
127-138
[doi]
Towards a Standard Process enabling AI-support for Safety and Conformity of Medical Devices
Peter Pfeiffer
,
Heike Sander
,
Peter Fettke
,
Wolfgang Reisig
.
apn 2022
:
[doi]
EDEN Framework for Interactive Analysis of Ecosystems Models
Franck Pommereau
,
Colin Thomas
,
Cédric Gaucherel
.
apn 2022
:
119-138
[doi]
Petri Nets Semantics of Reaction Rules (RR) - A Language for Ecosystems Modelling
Franck Pommereau
,
Colin Thomas
,
Cédric Gaucherel
.
apn 2022
:
175-194
[doi]
Evaluating business meta-models for semantic interoperability with FHIR resources
Rainer Randmaa
,
Igor Bossenko
,
Toomas Klementi
,
Gunnar Piho
,
Peeter Ross
.
apn 2022
:
[doi]
Taking on Infrequent Behavior in Event Logs using Hypothesis Tests
Patrizia Schalk
,
Lisa Petrak
.
apn 2022
:
25-42
[doi]
Trace Language: Mining Micro-configurations from Process Transition Traces
Karnika Shivhare
,
Rushikesh K. Joshi
.
apn 2022
:
217-218
[doi]
Aligning Event Logs to Resource-Constrained ν-Petri Nets
Dominique Sommers
,
Natalia Sidorova
,
Boudewijn F. van Dongen
.
apn 2022
:
325-345
[doi]
Towards the Application of Coloured Petri Nets for Design and Validation of Power Electronics Converter Systems
Vegard Steinsland
,
Lars Michael Kristensen
,
Shujun Zhang
.
apn 2022
:
3-22
[doi]
Modelling the Next Generation ALICE Grid Middleware Using Coloured Petri Nets
Maxim Storetvedt
,
Latchezar Betev
,
Nikola Hardi
,
Håvard Helstrup
,
Kristin Fanebust Hetland
,
Bjarte Kileng
.
apn 2022
:
195-210
[doi]
Process Data Science for Workflow Optimization in Digital Pathology: A status report
Patrick Stünkel
,
Sabine Leh
,
Friedemann Leh
.
apn 2022
:
[doi]
On Reduction of Cycloids
Rüdiger Valk
,
Daniel Moldt
.
apn 2022
:
99-118
[doi]
Data and Process Resonance - Identifier Soundness for Models of Information Systems
Jan Martijn E. M. van der Werf
,
Andrey Rivkin
,
Artem Polyvyanyy
,
Marco Montali
.
apn 2022
:
369-392
[doi]
Enhancing Stochastic Petri Net-based Remaining Time Prediction using k-Nearest Neighbors
Jarne Vandenabeele
,
Gilles Vermaut
,
Jari Peeperkorn
,
Jochen De Weerdt
.
apn 2022
:
9-24
[doi]
Between Expressiveness and Verifiability: P/T-nets with Synchronous Channels and Modular Structure
Lukas Voß
,
Sven Willrodt
,
Daniel Moldt
,
Michael Haustermann
.
apn 2022
:
40-59
[doi]
Sign in
or
sign up
to see more results.