Search CORE

5 research outputs found

Algorithms and Tools for Petri Nets - Proceedings of the Workshop AWPN 2017

Author
Publication venue: DTU Compute
Publication date: 01/01/2017
Field of study

Online Research Database In Technology

Algorithms & Theories for the Analysis of Event Data (ATAED'15, Brussels, Belgium, June 22-23, 2015)

Author
Publication venue: CEUR-WS.org
Publication date: 01/01/2015
Field of study

Pure OAI Repository

Algorithms & Theories for the Analysis of Event Data (ATAED'15, Brussels, Belgium, June 22-23, 2015)

Author
Publication venue: CEUR-WS.org
Publication date: 01/01/2015
Field of study

Pure OAI Repository

Verification of Scenarios in Petri Nets Using Compact Tokenflows

Author
Publication venue: 'IOS Press'
Publication date: 01/01/2015
Field of study

Verification of scenarios in Petri nets using compact tokenflows

Author: Bergenthum Robin
Lorenz Robert
Publication venue: 'IOS Press'
Publication date: 03/06/2019
Field of study

core

core