Analysis and Synthesis of Weighted Marked Graph Petri Nets: Exact and Approximate Methods - LAAS - Laboratoire d'Analyse et d'Architecture des Systèmes
Article Dans Une Revue Fundamenta Informaticae Année : 2019

Analysis and Synthesis of Weighted Marked Graph Petri Nets: Exact and Approximate Methods

Raymond Devillers
  • Fonction : Auteur
  • PersonId : 855780

Résumé

Numerous real-world systems can be modeled with Petri nets, which allow a combination of concurrency with synchronizations and conflicts. To alleviate the difficulty of checking their behaviour, a common approach consists in studying specific subclasses. In the converse problem of Petri net synthesis, a Petri net of some subclass has to be constructed efficiently from a given specification, typically from a labelled transition system (lts) describing the behaviour of the desired net. In this paper, we focus on a notorious subclass of persistent Petri nets, the weighted marked graphs (WMGs), also called generalised (or weighted) event (or marked) graphs or weighted T-nets. In such nets, edges have multiplicities (weights) and each place has at most one ingoing and one outgoing transition. Although extensively studied in previous works and benefiting from strong results, both their analysis and synthesis can be further investigated. We provide new behavioural properties of WMGs expressed on their reachability graph, notably backward persistence and strong similarities between any two sequences sharing the same starting state and the same destination state. Besides, we design a general synthesis procedure aiming at the WMG class. Finally, when no solution to the synthesis problem exists, i.e., when the given lts is not WMG-solvable, we show how to construct a WMG whose reachability graph is a minimal over-approximation of the given lts.
Fichier principal
Vignette du fichier
WMG-FI-DH.pdf (416.33 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02332309 , version 1 (24-10-2019)

Identifiants

Citer

Raymond Devillers, Thomas Hujsa. Analysis and Synthesis of Weighted Marked Graph Petri Nets: Exact and Approximate Methods. Fundamenta Informaticae, 2019, 169 (1-2), pp.1 - 30. ⟨10.3233/FI-2019-1837⟩. ⟨hal-02332309⟩
74 Consultations
80 Téléchargements

Altmetric

Partager

More