DLR-Logo -> http://www.dlr.de
DLR Portal Home | Imprint | Privacy Policy | Contact | Deutsch
Fontsize: [-] Text [+]

Relabelling LTS for Petri Net Synthesis via Solving Separation Problems

Schlachter, Uli and Wimmel, Harro (2019) Relabelling LTS for Petri Net Synthesis via Solving Separation Problems. Lecture Notes in Computer Science. Springer. doi: 10.1007/978-3-662-60651-3_9. ISSN 0302-9743.

Full text not available from this repository.


Petri net synthesis deals with finding an unlabelled Petri net with a reachability graph isomorphic to a given usually finite labelled transition system (LTS). If there is no solution for a synthesis problem, we use label splitting. This means that we relabel edges until the LTS becomes synthesisable. We obtain an unlabelled Petri net and a relabelling function, which together form a labelled Petri net with the original, intended behaviour. By careful selection of the edges to relabel we hope to keep the alphabet of the LTS and the constructed Petri net as small as possible. Even approximation algorithms, not yielding an optimal relabelling, are hard to come by. Using region theory, we develop a polynomial heuristic based on two kinds of separation problems. These either demand distinct Petri net markings for distinct LTS states or a correspondence between the existence of an edge in the LTS and the activation of a transition under the state’s marking. If any separation problem is not solvable, relabelling of edges in the LTS becomes necessary. We show efficient ways to choose those edges.

Item URL in elib:https://elib.dlr.de/133407/
Document Type:Article
Title:Relabelling LTS for Petri Net Synthesis via Solving Separation Problems
AuthorsInstitution or Email of AuthorsAuthor's ORCID iDORCID Put Code
Schlachter, UliUNSPECIFIEDhttps://orcid.org/0000-0002-5063-025XUNSPECIFIED
Date:21 November 2019
Journal or Publication Title:Lecture Notes in Computer Science
Refereed publication:Yes
Open Access:No
Gold Open Access:No
In ISI Web of Science:No
Keywords:Labelled transition Systems, Petri nets, System synthesis Regions Separation Problems, Label splitting
HGF - Research field:Energy
HGF - Program:Technology, Innovation and Society
HGF - Program Themes:Renewable Energy and Material Resources for Sustainable Futures - Integrating at Different Scales
DLR - Research area:Energy
DLR - Program:E SY - Energy Systems Analysis
DLR - Research theme (Project):E - Energy Systems Technology (old)
Location: Oldenburg
Institutes and Institutions:Institute of Networked Energy Systems > Energy System Technology
Deposited By: Memmel, Elena
Deposited On:13 Jan 2020 09:38
Last Modified:28 Mar 2023 23:55

Repository Staff Only: item control page

Help & Contact
electronic library is running on EPrints 3.3.12
Website and database design: Copyright © German Aerospace Center (DLR). All rights reserved.