default search action

combined dblp search
author search
venue search
publication search

ask others

PNSE@Petri Nets/ACSD 2018: Bratislava, Slovakia

> 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/2018pnse
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/2018pnse
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

- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/apn/BernardinelloPA18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/BernardinelloPA18
Luca Bernardinello, Lucia Pomello, Adrián Puerto Aubel, Alessandro Villa:
Checking Weak Observable Liveness on Unfoldings Through Asynchronous Games. 15-34
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/apn/KlikovitsLRB18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/KlikovitsLRB18
Stefan Klikovits, Alban Linard, Dimitri Racordon, Didier Buchs:
Petri Sport: A Sport for Petri Netters. 35-56
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/apn/MostellerHMS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/MostellerHMS18
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
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/apn/Phawade18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/Phawade18
Ramchandra Phawade:
Kleene Theorems for Free Choice Nets Labelled with Distributed Alphabets. 77-98
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/apn/RodriguezKR18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/RodriguezKR18
Alejandro Rodríguez, Lars Michael Kristensen, Adrian Rutle:
On Modelling and Validation of the MQTT IoT Protocol for M2M Communication. 99-118

Short Presentations

- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/apn/AlharbiK18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/AlharbiK18
Talal Alharbi, Maciej Koutny:
Visualising Data Sets in Structured Occurrence Nets. 121-132
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/apn/RowekampMF18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/RowekampMF18
Jan Henrik Röwekamp, Daniel Moldt, Matthias Feldmann:
Investigation of Containerizing Distributed Petri Net Simulations. 133-142
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/apn/FerreiraTS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/FerreiraTS18
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
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/apn/Wolf18b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/Wolf18b
Karsten Wolf:
A Simple Abstract Interpretation for Petri Net Queries. 163-170

Poster Presentation

- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/apn/LaknerFB18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apn/LaknerFB18
Rozália Lakner, Ferenc Friedler, Botond Bertók:
P-graph Algorithms for Petri Net Synthesis. 173-174

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.