Publications

Here is a selection of my publications. You can also find externally curated collections on DBLP, Google Scholar and ResearchGate.

Filter: #book-chapter clear-filter

2020 (1)

#book-chapter

Didier Buchs, Stefan Klikovits and Alban Linard. Petri Nets: A Formal Language to Specify and Verify Concurrent Non-Deterministic Event Systems. In: P. Carreira and V. Amaral and H. Vangheluwe (eds.) Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems. 2020.

Abstract
The study of concurrent and parallel systems has been a challenging research domain  within cyber-physical systems community. This chapter provides a pragmatic introduction to the creation and analysis of such system models using the popular Petri nets  formalism. Petri nets is a formalism that convinces through its simplicity and  applicability. We offer an overview of the most important Petri nets concepts,  analysis techniques and model checking approaches. Finally, we show the use of  so-called High-level Petri nets for the representation of complex data structures  and functionality and present a novel research approach that allows the use of Petri nets inside Functional Mock-up Units and cyber-physical system models.
Link DOI
Bibtex
@inbook{Klikovits:2020:mpm4cps:foundationsbook,
  author={Didier Buchs and Stefan Klikovits and Alban Linard},
  title={{Petri Nets: A Formal Language to Specify and Verify Concurrent Non-Deterministic Event Systems}}, 
  booktitle= {{Foundations of Multi-Paradigm Modelling for Cyber-Physical Systems}}, 
  editor = {P. Carreira and V. Amaral and H. Vangheluwe}, 
  publisher= {Springer},
  doi={10.1007/978-3-030-43946-0},
  ISBN={978-3-030-43946-0},
  year= 2020
}