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
2024
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 1540
2024
Benefits of Using Petri Nets for Cyber-Physical Systems' Controllers Development in the Classroom
Luís Gomes 0001
,
Anikó Costa
.
apn 2024
:
[doi]
Using Petri Nets for Analysis of Navigation Paths in Constrained Graphs - Application to Roguelike Games
Luís Gomes 0001
,
José Ribeiro-Gomes
,
João Paulo Barros
.
apn 2024
:
283-298
[doi]
Process Mining Representation using Communication Structured Acyclic Nets (CSA-nets)
Nadiyah Almutairi
,
Tuwailaa Alshammari
,
Mohammed Alahmadi
.
apn 2024
:
217-232
[doi]
Extracting Data from Unstructured Crime Text to Represent in Structured Occurrence Nets using Natural Language Processing
Tuwailaa Alshammari
.
apn 2024
:
270-282
[doi]
Hilbert Composition of Multilabelled Events
Elvio G. Amparore
,
Susanna Donatelli
,
Lea Terracini
.
apn 2024
:
132-152
[doi]
Languages of Higher-Dimensional Timed Automata
Amazigh Amrane
,
Hugo Bazille
,
Emily Clement
,
Uli Fahrenberg
.
apn 2024
:
197-219
[doi]
Leveraging the Pedagogical Potential of Tile-Based Games for Teaching Petri Net Modeling, the Sokoban Case
João Paulo Barros
,
Luís Gomes 0001
.
apn 2024
:
[doi]
Blood Glucose Levels Regulation in a Healthy and in a Diabetic Person Modelled with Petri Nets
Kamila Barylska
,
Anna Gogolinska
.
apn 2024
:
[doi]
Petri nets in Modeling Glucose Regulating Processes in the Liver
Kamila Barylska
,
Anna Gogolinska
.
apn 2024
:
261-269
[doi]
Petri Net Synthesis from a Reachability Set
Eike Best
,
Raymond R. Devillers
.
apn 2024
:
223-243
[doi]
Invariant Calculations for P/T-Nets with Synchronous Channels
Simon Bott
,
Daniel Moldt
,
Laif-Oke Clasen
,
Marcel Hansson
.
apn 2024
:
104-121
[doi]
Identifying Duplicates in Large Collections of Petri Nets and Nested-Unit Petri Nets
Pierre Bouvier
,
Hubert Garavel
.
apn 2024
:
379-401
[doi]
Process Comparison Using Petri Net Decomposition
Tobias Brockhoff
,
Moritz Nicolas Gose
,
Merih Seran Uysal
,
Wil M. P. van der Aalst
.
apn 2024
:
83-105
[doi]
Petri Nets as Run-Time Models for Self-Adaptive Cyber-Physical Systems
Lorenzo Capra
,
Michael Köhler-Bussmeier
,
Heiko Rölke
,
Jan Sudeikat
.
apn 2024
:
164-181
[doi]
Design of Event-Driven Tsetlin Machines Using Safe Petri Nets
Alex Chan
,
Adrian Wheeldon
,
Rishad A. Shafik
,
Alex Yakovlev
.
apn 2024
:
357-378
[doi]
Some Petri Net Problems with Counterintuitive Solutions
Piotr Chrzastowski-Wachtel
,
Piotr Ulanowski
.
apn 2024
:
[doi]
Distributed P/T Net Simulation Prototypes Based on Event Streaming
Laif-Oke Clasen
,
Sophie Bartelt
,
Yannik Stahl
,
Daniel Moldt
.
apn 2024
:
192-216
[doi]
Harnessing Structure Theory of Petri Nets in Discrete Event System Simulation
José Manuel Colom
.
apn 2024
:
3-23
[doi]
Deciding Reachability and Coverability in Lossy EOS
Francesco Di Cosmo
,
Soumodev Mal
,
Tephilla Prince
.
apn 2024
:
74-95
[doi]
Convex Petri Nets
Nicola Cotumaccio
,
Catia Trubiani
.
apn 2024
:
[doi]
The Square Petri Net
Jörg Desel
,
Julia Fleischer
,
Moritz Sommer
.
apn 2024
:
[doi]
Proceedings of the Workshop Petri Net Games, Examples and Quizzes for Education, Contest and Fun co-located with the 45th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2024), Geneva, Switzerland, June 25, 2024
Jörg Desel
,
Laure Petrucci
, editors,
Volume 3721 of
CEUR Workshop Proceedings
, CEUR-WS.org,
2024.
[doi]
Leveraging High-Level Petri Nets for Cyber-Physical Systems Development
Nuno Fernandes
,
João Paulo Barros
,
Rogério Campos-Rebelo
.
apn 2024
:
155-163
[doi]
Automatic Modularization of Place/Transition Nets
Julian Gaede
,
Judith-Henrike Overath
,
Sophie Wallner
.
apn 2024
:
53-73
[doi]
Modular State Spaces - A New Perspective
Julian Gaede
,
Sophie Wallner
,
Karsten Wolf
.
apn 2024
:
312-332
[doi]
Portable Nets: Modeling and Verification of Business Processes with multiple Start and End Points
Mustafa Ghani
,
Holger Giese
.
apn 2024
:
[doi]
Safety Verification of Wait-Only Non-Blocking Broadcast Protocols
Lucie Guillou
,
Arnaud Sangnier
,
Nathalie Sznajder
.
apn 2024
:
291-311
[doi]
On the Expressive Power of Transfinite Sequences for Continuous Petri Nets
Stefan Haar
,
Serge Haddad
.
apn 2024
:
109-131
[doi]
Symbolic Domains and Reachability for Nets with Trajectories
Loïc Hélouët
,
Prerak Contractor
.
apn 2024
:
244-265
[doi]
Relational Structures for Interval Order Semantics of Concurrent Systems
Ryszard Janicki
,
Jetty Kleijn
,
Maciej Koutny
,
Lukasz Mikulski
.
apn 2024
:
153-174
[doi]
Synthesising ENI-Systems with Interval Order Semantics
Maciej Koutny
,
Marta Pietkiewicz-Koutny
.
apn 2024
:
33-52
[doi]
Token Trail Semantics II - Petri Nets And Their Net Language
Jakub Kovár
,
Robin Bergenthum
.
apn 2024
:
175-196
[doi]
Application and Theory of Petri Nets and Concurrency - 45th International Conference, PETRI NETS 2024, Geneva, Switzerland, June 26-28, 2024, Proceedings
Lars Michael Kristensen
,
Jan Martijn E. M. van der Werf
, editors,
Volume 14628 of
Lecture Notes in Computer Science
, Springer,
2024.
[doi]
Design and Run-Time Analysis of Self-Adaption for Multi-Agent Organisations
Michael Köhler-Bussmeier
,
Heiko Rölke
.
apn 2024
:
233-260
[doi]
Proceedings of the International Workshop on Petri Nets and Software Engineering 2024 co-located with the 45th International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2024), June 24 - 25, 2024, Geneva, Switzerland
Michael Köhler-Bussmeier
,
Daniel Moldt
,
Heiko Rölke
, editors,
Volume 3730 of
CEUR Workshop Proceedings
, CEUR-WS.org,
2024.
[doi]
Using Petri Nets for Digital Twins Modeling and Deployment: A Power Wheelchair System Case Study
Carolina Lagartinho-Oliveira
,
Filipe Moutinho
,
Luís Gomes 0001
.
apn 2024
:
413-431
[doi]
Symbolic Model Checking Using Intervals of Vectors
Damien Morard
,
Lucas Donati
,
Didier Buchs
.
apn 2024
:
269-290
[doi]
Remote Debugger: A Tool to Remotely Monitor and Operate IOPT-Nets Controllers
Fernando Pereira
,
João Paulo Barros
,
Filipe Moutinho
,
Anikó Costa
,
Rogério Campos-Rebelo
,
Luís Gomes 0001
.
apn 2024
:
402-412
[doi]
A Multivalued, Spatialized, and Timed Modelling Language for Social-Ecological Systems
Franck Pommereau
,
Cédric Gaucherel
.
apn 2024
:
13-32
[doi]
Pushing the Limits: Concurrency Detection in Acyclic Sound Free-Choice Workflow Nets in O(P² + T²)
Thomas M. Prinz
,
Julien Klaus
,
Nick R. T. P. van Beest
.
apn 2024
:
132-154
[doi]
PLD-SiM: Process Line Diagram Simulator and Modeler
Akshit Rajput
,
Karnika Shivhare
,
Rushikesh K. Joshi
.
apn 2024
:
182-191
[doi]
Runtime Verification of Timed Petri Nets
José Ignacio Requeno
,
Elena Gómez-Martínez
,
Hannes Kallwies
,
Melanie Haustein
,
Martin Leucker
,
Volker Stolz
,
Patrick Stünkel
.
apn 2024
:
122-131
[doi]
Mining Modular Structure of Processes using Process Line Diagrams
Karnika Shivhare
,
Rushikesh K. Joshi
.
apn 2024
:
[doi]
Conformance Checking with Model Projections - Rethinking Log-Model Alignments for Processes with Interacting Objects
Dominique Sommers
,
Natalia Sidorova
,
Boudewijn F. van Dongen
.
apn 2024
:
61-82
[doi]
On the Application of Model-Driven Optimization to Business Processes
Gabriele Taentzer
,
Jens Kosiol
,
Leen Lambers
.
apn 2024
:
24-35
[doi]
Lifting Process Discovery and Conformance Checking to the Next Level: A General Approach to Object-Centric Process Mining (Invited Talk)
Wil M. P. van der Aalst
.
apn 2024
:
1-12
[doi]
Solving Puzzles using Coloured Petri Nets
Somsak Vanit-Anunchai
.
apn 2024
:
[doi]
Concurrent Context-Free Grammar for Parsing Business Processes with Iterated Shuffles
Akio Watanabe
,
Ayumi Araragi
,
Hiroki Ikeuchi
,
Yousuke Takahashi
.
apn 2024
:
39-60
[doi]
How to Verify Aggregating Global Properties
Karsten Wolf
.
apn 2024
:
96-103
[doi]
Verifying Temporal Logic Properties in the Modular State Space
Lukas Zech
,
Karsten Wolf
.
apn 2024
:
333-354
[doi]
CosyVerif: The Path to Formalisms Cohabitation
Étienne André
,
Jaime Arias 0001
,
Benoît Barbot
,
Francis Hulin-Hubard
,
Fabrice Kordon
,
Van-François Le
,
Laure Petrucci
.
apn 2024
:
432-444
[doi]
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]
Context-sensitive analysis of data interference for concurrent programs
Carlos Galindo 0002
,
Marisa Llorens
,
Sergio Pérez 0001
,
Josep Silva
.
apn 2023
:
[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]
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]
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]
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]
Fault Detection in Microservices using Petri Nets
Sulochan Naik
,
Meenakshi D'Souza
.
apn 2023
:
[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]
Semantic Preserving, Notational and Transformational Challenges in Transfiguring BPMN models into Petri Nets
Karnika Shivhare
,
Rushikesh K. Joshi
.
apn 2023
:
[doi]
Exploring L* for Process Mining
Karnika Shivhare
,
Rushikesh K. Joshi
.
apn 2023
:
[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]
Sign in
or
sign up
to see more results.