Efficient Synthesis of Weighted Marked Graphs with Circular Reachability Graph, and Beyond - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue LNCS Transactions on Petri Nets and Other Models of Concurrency Année : 2021

Efficient Synthesis of Weighted Marked Graphs with Circular Reachability Graph, and Beyond

Résumé

In previous studies, several methods have been developed to synthesise Petri nets from labelled transition systems (LTS), often with structural constraints on the net and on the LTS. In this paper, we focus on Weighted Marked Graphs (WMGs) and Choice-Free (CF) Petri nets, two weighted subclasses of nets in which each place has at most one output; WMGs have the additional constraint that each place has at most one input. We provide new conditions for checking the existence of a WMG whose reachability graph is isomorphic to a given circular LTS, i.e. forming a single cycle; we develop two new polynomial-time synthesis algorithms dedicated to these constraints: the first one is LTS-based (classical synthesis) while the second one is vector-based (weak synthesis) and more efficient in general. We show that our conditions also apply to CF synthesis in the case of three-letter alphabets, and we discuss the difficulties in extending them to CF synthesis over arbitrary alphabets.

Dates et versions

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

Identifiants

Citer

Raymond Devillers, Evgeny Erofeev, Thomas Hujsa. Efficient Synthesis of Weighted Marked Graphs with Circular Reachability Graph, and Beyond. LNCS Transactions on Petri Nets and Other Models of Concurrency, 2021, Lecture Notes in Computer Science, 12530, pp.75-100. ⟨10.1007/978-3-662-63079-2_4⟩. ⟨hal-02348494⟩
60 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More