P-graph algorithms for petri net synthesis

Rozália Lakner, F. Friedler, B. Bertók

Research output: Contribution to journalConference article

Abstract

P-graph framework provides effective algorithms to synthesize processing systems from the set of available building blocks for producing desired products. In the current work, these algorithms have been adapted for synthesizing Petri nets.

Original languageEnglish
Pages (from-to)173-174
Number of pages2
JournalCEUR Workshop Proceedings
Volume2138
Publication statusPublished - Jan 1 2018
Event2018 International Workshop on Petri Nets and Software Engineering, PNSE 2018 - Bratislava, Slovakia
Duration: Jun 24 2018Jun 29 2018

Fingerprint

Petri nets
Processing

Keywords

  • P-graph
  • Petri Nets
  • Synthesis

ASJC Scopus subject areas

  • Computer Science(all)

Cite this

P-graph algorithms for petri net synthesis. / Lakner, Rozália; Friedler, F.; Bertók, B.

In: CEUR Workshop Proceedings, Vol. 2138, 01.01.2018, p. 173-174.

Research output: Contribution to journalConference article

@article{c8015d1ce8f64ad3b820f63fb3c9fa2f,
title = "P-graph algorithms for petri net synthesis",
abstract = "P-graph framework provides effective algorithms to synthesize processing systems from the set of available building blocks for producing desired products. In the current work, these algorithms have been adapted for synthesizing Petri nets.",
keywords = "P-graph, Petri Nets, Synthesis",
author = "Roz{\'a}lia Lakner and F. Friedler and B. Bert{\'o}k",
year = "2018",
month = "1",
day = "1",
language = "English",
volume = "2138",
pages = "173--174",
journal = "CEUR Workshop Proceedings",
issn = "1613-0073",
publisher = "CEUR-WS",

}

TY - JOUR

T1 - P-graph algorithms for petri net synthesis

AU - Lakner, Rozália

AU - Friedler, F.

AU - Bertók, B.

PY - 2018/1/1

Y1 - 2018/1/1

N2 - P-graph framework provides effective algorithms to synthesize processing systems from the set of available building blocks for producing desired products. In the current work, these algorithms have been adapted for synthesizing Petri nets.

AB - P-graph framework provides effective algorithms to synthesize processing systems from the set of available building blocks for producing desired products. In the current work, these algorithms have been adapted for synthesizing Petri nets.

KW - P-graph

KW - Petri Nets

KW - Synthesis

UR - http://www.scopus.com/inward/record.url?scp=85052020659&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85052020659&partnerID=8YFLogxK

M3 - Conference article

AN - SCOPUS:85052020659

VL - 2138

SP - 173

EP - 174

JO - CEUR Workshop Proceedings

JF - CEUR Workshop Proceedings

SN - 1613-0073

ER -