Versatile Boxes: a Multi-Purpose Algebra of High-Level Petri nets - Archive ouverte HAL
Communication Dans Un Congrès Année : 2007

Versatile Boxes: a Multi-Purpose Algebra of High-Level Petri nets

Résumé

This paper introduces a model of composable Petri nets, called Versatile Boxes, that has all the high-level features already introduced in the family of the Petri Box Calculus (mainly: data and time representation) as well as a new interruption capability. This allows for defining processes that are able to interrupt their execution at any point, just as a program can raise an exception. By choosing a carefully tuned level of generality, we are able to obtain a model that is much simpler than previous approaches, while still allowing to give the semantics of the usual programming language constructs. We believe that our model has the required characteristics for a very general use, hence its name. On the other hand, its is not very complex and so it should be easy to understand or implement and efficient for verification or simulation purpose.
Fichier principal
Vignette du fichier
Pom-DADS-2007.pdf (196.81 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02309961 , version 1 (10-10-2019)

Identifiants

  • HAL Id : hal-02309961 , version 1

Citer

Franck Pommereau. Versatile Boxes: a Multi-Purpose Algebra of High-Level Petri nets. Summer Computer Simulation Conference, 2007, San Diego, United States. ⟨hal-02309961⟩

Collections

CNRS LACL UPEC
34 Consultations
36 Téléchargements

Partager

More