Skip to Main content Skip to Navigation
Conference papers

ABCD: A user-friendly language for formal modelling and analysis

Abstract : This paper presents an algebra of coloured Petri nets called the Asynchronous Box Calculus with Data, or ABCD for short. ABCD allows to model complex systems using a user-friendly and high-level syntax. In particular, parts of the model can be directly programmed in Python [21], which allows to embed complex computation and data values within a model. A compiler for ABCD is shipped with the toolkit SNAKES [16,18] and ABCD has been used for years, which is quickly surveyed. This paper is the first complete and formal presentation of the language and its semantics. It also presents uses cases of ABCD for the modelling and analysis of various systems.
Document type :
Conference papers
Complete list of metadata

Cited literature [20 references]  Display  Hide  Download
Contributor : Frédéric Davesne Connect in order to contact the contributor
Submitted on : Tuesday, October 8, 2019 - 9:32:23 AM
Last modification on : Saturday, May 1, 2021 - 3:48:45 AM


Files produced by the author(s)



Franck Pommereau. ABCD: A user-friendly language for formal modelling and analysis. 37th International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2016), Jun 2016, Torun, Poland. pp.176--195, ⟨10.1007/978-3-319-39086-4_12⟩. ⟨hal-01352028⟩



Record views


Files downloads