default search action

combined dblp search
author search
venue search
publication search

ask others

PNSE@Petri Nets/ACSD 2019: Aachen, Germany

> Home > Conferences and Workshops > Petri Nets
> Home > Conferences and Workshops > ACSD

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
- export record
  dblp key:
  - conf/apn/2019pnse
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/2019pnse
Daniel Moldt, Ekkart Kindler, Manuel Wimmer:
Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE 2019), co-located with the 40th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2019 and the 19th International Conference on Application of Concurrency to System Design ACSD 2019 and the 1st IEEE International Conference on Process Mining Process Mining 2019, Aachen, Germany, June 23-28, 2019. CEUR Workshop Proceedings 2424, CEUR-WS.org 2019

Invited Talks

- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/apn/Mendling19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/Mendling19
Jan Mendling:
Quotients for Behaviour Comparisons: Monotone Precision and Recall Measures for Process Mining. 11-12
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/apn/Vangheluwe19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/Vangheluwe19
Hans Vangheluwe:
Petri Nets in Multi-Paradigm Modelling. 13-14

Long Presentations

- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/apn/AdobbatiBP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/AdobbatiBP19
Federica Adobbati, Luca Bernardinello, Lucia Pomello:
An Asynchronous Game on Distributed Petri Nets. 17-36
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/apn/Gomez-MartinezL19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/Gomez-MartinezL19
Elena Gómez-Martínez, Juan de Lara, Esther Guerra:
Towards Extensible Structural Analysis of Petri Net Product Lines. 37-46
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/apn/LiebkeW19a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/LiebkeW19a
Torsten Liebke, Karsten Wolf:
Solving E (φUψ) using the CEGAR Approach. 47-56
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/apn/0006KR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/0006KR19
Alejandro Rodríguez, Lars Michael Kristensen, Adrian Rutle:
On CTL Model Checking of the MQTT IoT Protocol using the Sweep-Line Method. 57-72
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/apn/TavaresS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/TavaresS19
José Jean-Paul Zanlucchi de Souza Tavares, Gabriel De A. Souza:
PNRD and iPNRD Integration Assisting Adaptive Control in Block World Domain. 73-90

Short Presentations

- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/apn/AlharbiK19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/AlharbiK19
Talal Alharbi, Maciej Koutny:
Domain Name System (DNS) Tunneling Detection using Structured Occurrence Nets (SONs). 93-108
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/apn/Chrzastowski-Wachtel19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/Chrzastowski-Wachtel19
Piotr Chrzastowski-Wachtel, Michal Dolezek, Pawel Greipner, Tomasz Wójcicki:
Petri Meta-Compiler - A Recursive Approach to System Design and Development. 109-126
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/apn/WeichenhainF19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/WeichenhainF19
Maxi Weichenhain, Wolfgang Fengler:
A Petri Net Table Model Applied to Classic and Agile Project Management. 127-142
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/apn/ZengG19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/ZengG19
Wen Zeng, Vasileios Germanos:
Modelling Hybrid Cyber Kill Chain. 143-160

Poster Presentations

- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/apn/RowekampFMS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/RowekampFMS19
Jan Henrik Röwekamp, Matthias Feldmann, Daniel Moldt, Michael Simon:
Simulating Place/Transition Nets by a Distributed, Web Based, Stateless Service. 163-164
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/apn/SimonMEW19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/SimonMEW19
Michael Simon, Daniel Moldt, Henri Engelhardt, Sven Willrodt:
A First Prototype for the Visualization of the Reachability Graph of Reference Nets. 165-166

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.