The dynamics of deterministic systems-A survey - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2015

The dynamics of deterministic systems-A survey

Résumé

We present a model for the dynamics of discrete determin-istic systems, based on an extension of the Petri net framework. Our model relies on the definition of a priority relation between conflicting transitions, which is encoded in a compact manner by orienting the edges of a transition conflict graph. The benefit is that this allows the use of a successor oracle for the study of dynamic processes from a global point of view, independent from a particular initial state and the (complete) construction of the reachability graph. We provide a characterization, in terms of a local consistency condition, of those deterministic systems whose dynamic behavior can be encoded using our approach and consider the problem of recognizing when an orientation of the transition conflict graph is valid for this purpose. Finally, we address the problem of gaining the information that allows to provide an appropriate priority relation gouverning the dynamic behavior of the studied system and dicuss some further implications and generalizations of the studied approach.
Fichier principal
Vignette du fichier
TW_DynamicsSurvey_subm.pdf (223.54 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02045810 , version 1 (22-02-2019)

Identifiants

  • HAL Id : hal-02045810 , version 1

Citer

Luis Torres, Annegret K Wagler. The dynamics of deterministic systems-A survey. CEUR Workshop Proceedings 1373 (Special Issue BioPPN 2015), Jun 2015, Brussels, Belgium. ⟨hal-02045810⟩
11 Consultations
6 Téléchargements

Partager

Gmail Facebook X LinkedIn More