ABCD: A user-friendly language for formal modelling and analysis - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2016

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

Résumé

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
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

Citer

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⟩
166 Consultations
159 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More