Efficient Process Analysis of Transformation Systems Based on Petri nets

dc.contributor.authorHermann, Frank
dc.contributor.authorCorradini, Andrea
dc.contributor.authorEhrig, Hartmut
dc.contributor.authorKönig, Barbara
dc.date.accessioned2020-06-15T06:31:44Z
dc.date.available2020-06-15T06:31:44Z
dc.date.issued2010
dc.description.abstractIn the framework of adhesive transformation systems with Negative Application Conditions (NACs), we show how the problem of computing the set of equivalent derivations to a given one can be reduced to the analysis of the reachability graph of a generated Place/Transition Petri net. This net encodes the dependencies among rule applications of the derivation, including the inhibiting effects of the NACs. We show the effectiveness of this approach by comparing the cost of a brute force-approach with the cost of the presented analysis applied to a derivation of a simple system, showing a significant improvement in speed.en
dc.identifier.issn1436-9915
dc.identifier.urihttps://depositonce.tu-berlin.de/handle/11303/11352
dc.identifier.urihttp://dx.doi.org/10.14279/depositonce-10239
dc.language.isoen
dc.rights.urihttp://rightsstatements.org/vocab/InC/1.0/
dc.subject.ddc004 Datenverarbeitung; Informatik
dc.subject.otherpetri netsen
dc.subject.othertransformation systemsen
dc.subject.otherNegative Application Conditionsen
dc.subject.otherNACsen
dc.titleEfficient Process Analysis of Transformation Systems Based on Petri netsen
dc.typeResearch Paper
dc.type.versionsubmittedVersionen
tub.accessrights.dnbfree
tub.affiliationFak. 4 Elektrotechnik und Informatikde
tub.affiliation.facultyFak. 4 Elektrotechnik und Informatikde
tub.publisher.universityorinstitutionTechnische Universität Berlin
tub.series.issuenumber2010-03
tub.series.nameForschungsberichte der Fakultät IV - Elektrotechnik und Informatik / Technische Universität Berlin

Files

Original bundle
Now showing 1 - 1 of 1
Loading…
Thumbnail Image
Name:
tr_2010-03.pdf
Size:
1.25 MB
Format:
Adobe Portable Document Format

Collections