Lill R, Saglietti F (2012)
Publication Language: English
Publication Type: Conference contribution
Publication year: 2012
Publisher: Gesellschaft für Informatik (GI), IEEE Xplore
Edited Volumes: ARCS Workshops, ARCS 2012
Series: Lecture Notes in Informatics
Book Volume: 200
Pages Range: 241-250
Conference Proceedings Title: ARCS 2012 Workshops
Event location: München (D)
ISBN: 978-3-88579-294-9
The use of autonomous systems, including cooperating agents, is indispensable in certain fields of application. Nevertheless, the verification of autonomous systems still represents a challenge due to lack of suitable modelling languages and verification techniques. To address these difficulties, different modelling languages allowing concurrency are compared. Coloured Petri Nets (CPNs) are further analysed and illustrated by means of an example modelling autonomous systems. Finally, some existing structural coverage concepts for Petri Nets are presented and extended by further criteria tailored to the characteristics of CPNs. © 2012 Gesellschaft fuer Informatk.
APA:
Lill, R., & Saglietti, F. (2012). Model-based Testing of Autonomous Systems based on Coloured Petri Nets. In Gero Mühl, Jan Richling, Andreas Herkersdorf (Eds.), ARCS 2012 Workshops (pp. 241-250). München (D): Gesellschaft für Informatik (GI), IEEE Xplore.
MLA:
Lill, Raimar, and Francesca Saglietti. "Model-based Testing of Autonomous Systems based on Coloured Petri Nets." Proceedings of the ARCS 2012 Workshop on Dependability and Fault Tolerance, München (D) Ed. Gero Mühl, Jan Richling, Andreas Herkersdorf, Gesellschaft für Informatik (GI), IEEE Xplore, 2012. 241-250.
BibTeX: Download