PNSE@Petri Nets/ACSD

Keyphrases

Publications

2019

Elena Gómez-Martínez, Juan de Lara, Esther Guerra
Towards Extensible Structural Analysis of Petri Net Product Lines. PNSE@Petri Nets/ACSD (2019)
Talal Alharbi, Maciej Koutny
Domain Name System (DNS) Tunneling Detection using Structured Occurrence Nets (SONs). PNSE@Petri Nets/ACSD (2019)
Federica Adobbati, Luca Bernardinello, Lucia Pomello
An Asynchronous Game on Distributed Petri Nets. PNSE@Petri Nets/ACSD (2019)
José Jean-Paul Zanlucchi de Souza Tavares, Gabriel De A. Souza
PNRD and iPNRD Integration Assisting Adaptive Control in Block World Domain. PNSE@Petri Nets/ACSD (2019)
Piotr Chrzastowski-Wachtel, Michal Dolezek, Pawel Greipner, Tomasz Wójcicki
Petri Meta-Compiler - A Recursive Approach to System Design and Development. PNSE@Petri Nets/ACSD (2019)
Jan Mendling
Quotients for Behaviour Comparisons: Monotone Precision and Recall Measures for Process Mining. PNSE@Petri Nets/ACSD (2019)
Wen Zeng, Vasileios Germanos
Modelling Hybrid Cyber Kill Chain. PNSE@Petri Nets/ACSD (2019)
Michael Simon, Daniel Moldt, Henri Engelhardt, Sven Willrodt
A First Prototype for the Visualization of the Reachability Graph of Reference Nets. PNSE@Petri Nets/ACSD (2019)
Torsten Liebke, Karsten Wolf
Solving E (φUψ) using the CEGAR Approach. PNSE@Petri Nets/ACSD (2019)
Maxi Weichenhain, Wolfgang Fengler
A Petri Net Table Model Applied to Classic and Agile Project Management. PNSE@Petri Nets/ACSD (2019)
Alejandro Rodríguez, Lars Michael Kristensen, Adrian Rutle
On CTL Model Checking of the MQTT IoT Protocol using the Sweep-Line Method. PNSE@Petri Nets/ACSD (2019)
Hans Vangheluwe
Petri Nets in Multi-Paradigm Modelling. PNSE@Petri Nets/ACSD (2019)
Jan Henrik Röwekamp, Matthias Feldmann, Daniel Moldt, Michael Simon
Simulating Place/Transition Nets by a Distributed, Web Based, Stateless Service. PNSE@Petri Nets/ACSD (2019)

volume 2424, 2019

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. PNSE@Petri Nets/ACSD 2424 (2019)

2018

volume 2138, 2018

Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'18), co-located with the39th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2018 and the 18th International Conference on Application of Concurrency to System Design ACSD 2018, Bratislava, Slovakia, June 24-29, 2018. PNSE@Petri Nets/ACSD 2138 (2018)