![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
PNSE@Petri Nets/ACSD 2018: Bratislava, Slovakia
- Daniel Moldt, Ekkart Kindler, Heiko Rölke:
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. CEUR Workshop Proceedings 2138, CEUR-WS.org 2018
Long Presentations
- Luca Bernardinello, Lucia Pomello, Adrián Puerto Aubel, Alessandro Villa:
Checking Weak Observable Liveness on Unfoldings Through Asynchronous Games. 15-34 - Stefan Klikovits, Alban Linard, Dimitri Racordon, Didier Buchs:
Petri Sport: A Sport for Petri Netters. 35-56 - David Mosteller, Michael Haustermann, Daniel Moldt, Dennis Schmitz:
Graphical Simulation Feedback in Petri Net-based Domain-Specific Languages within a Meta-Modeling Environment. 57-76 - Ramchandra Phawade:
Kleene Theorems for Free Choice Nets Labelled with Distributed Alphabets. 77-98 - Alejandro Rodríguez
, Lars Michael Kristensen, Adrian Rutle:
On Modelling and Validation of the MQTT IoT Protocol for M2M Communication. 99-118
Short Presentations
- Talal Alharbi, Maciej Koutny:
Visualising Data Sets in Structured Occurrence Nets. 121-132 - Jan Henrik Röwekamp, Daniel Moldt, Matthias Feldmann:
Investigation of Containerizing Distributed Petri Net Simulations. 133-142 - Marco Vinícius Muniz Ferreira, José Jean-Paul Zanlucchi de Souza Tavares, José Reinaldo Silva:
The Pheromone of Ant Emulated by Petri Net Inserted Inversely in RFID Database for Swarm Robots. 143-162 - Karsten Wolf:
A Simple Abstract Interpretation for Petri Net Queries. 163-170
Poster Presentation
- Rozália Lakner, Ferenc Friedler, Botond Bertók:
P-graph Algorithms for Petri Net Synthesis. 173-174
![](https://dblp.org/img/cog.dark.24x24.png)
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.