Using the Event Coordination Notation for Validation

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

174 Downloads (Orbit)

Original language	English
Title of host publication	Algorithms and Tools for Petri Nets - Proceedings of the Workshop AWPN 2018
Editors	Robert Lorenz, Johannes Metzger
Publication date	2018
Pages	13-20
Publication status	Published - 2018
Event	2018 Algorithms and Tools for Petri Nets - Augsburg University, Augsburg, Germany Duration: 11 Oct 2018 → 12 Oct 2018

Conference	2018 Algorithms and Tools for Petri Nets
Location	Augsburg University
Country/Territory	Germany
City	Augsburg
Period	11/10/2018 → 12/10/2018

Access to Document

@inproceedings{75aa79c748bf4032a4bcb73f7de22dd4,

title = "Using the Event Coordination Notation for Validation",

author = "Ekkart Kindler and Egilsson, \{Petur Ingi\} and Hillah, \{Lom Messan\}",

year = "2018",

language = "English",

pages = "13--20",

editor = "Robert Lorenz and Metzger, \{Johannes \}",

booktitle = "Algorithms and Tools for Petri Nets - Proceedings of the Workshop AWPN 2018",

note = "2018 Algorithms and Tools for Petri Nets <br/>, AWPN 2018 ; Conference date: 11-10-2018 Through 12-10-2018",

}

TY - GEN

T1 - Using the Event Coordination Notation for Validation

AU - Kindler, Ekkart

AU - Egilsson, Petur Ingi

AU - Hillah, Lom Messan

PY - 2018

Y1 - 2018

M3 - Article in proceedings

SP - 13

EP - 20

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

A2 - Lorenz, Robert

A2 - Metzger, Johannes

T2 - 2018 Algorithms and Tools for Petri Nets <br/>

Y2 - 11 October 2018 through 12 October 2018

ER -