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 metadatas

Cited literature [20 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01352028
Contributor : Frédéric Davesne <>
Submitted on : Tuesday, October 8, 2019 - 9:32:23 AM
Last modification on : Monday, October 28, 2019 - 10:50:22 AM

File

abcd.pdf
Files produced by the author(s)

Identifiers

Citation

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⟩

Share

Metrics

Record views

186

Files downloads

38