ABCD: A user-friendly language for formal modelling and analysis - Archive ouverte HAL Access content directly
Conference Papers Year : 2016

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.
Fichier principal
Vignette du fichier
abcd.pdf (493.91 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

hal-01352028 , version 1 (08-10-2019)

Identifiers

Cite

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⟩
170 View
164 Download

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More