Synthesis of Weighted Marked Graphs from Constrained Labelled Transition Systems: A Geometric Approach - LAAS - Laboratoire d'Analyse et d'Architecture des Systèmes
Chapitre D'ouvrage Année : 2019

Synthesis of Weighted Marked Graphs from Constrained Labelled Transition Systems: A Geometric Approach

Résumé

Recent studies investigated the problems of analysing Petri nets and synthesising them from labelled transition systems (LTS) with two labels (transitions) only. In this paper, we extend these works by providing new conditions for the synthesis of Weighted Marked Graphs (WMGs), a well-known and useful class of weighted Petri nets in which each place has at most one input and one output. Some of these new conditions do not restrict the number of labels; the other ones consider up to 3 labels. Additional constraints are investigated: when the LTS is either finite or infinite, and either cyclic or acyclic. We show that one of these conditions, developed for 3 labels, does not extend to 4 nor to 5 labels. Also, we tackle geometrically the WMG-solvability of finite, acyclic LTS with any number of labels.

Dates et versions

hal-02348962 , version 1 (05-11-2019)

Identifiants

Citer

Raymond Devillers, Evgeny Erofeev, Thomas Hujsa. Synthesis of Weighted Marked Graphs from Constrained Labelled Transition Systems: A Geometric Approach. Transactions on Petri Nets and Other Models of Concurrency XIV, Springer, pp.172-191, 2019, 978-3-662-60650-6. ⟨10.1007/978-3-662-60651-3_7⟩. ⟨hal-02348962⟩
48 Consultations
0 Téléchargements

Altmetric

Partager

More