Please use this identifier to cite or link to this item: http://dx.doi.org/10.14279/depositonce-10239
For citation please use:
Main Title: Efficient Process Analysis of Transformation Systems Based on Petri nets
Author(s): Hermann, Frank
Corradini, Andrea
Ehrig, Hartmut
König, Barbara
Type: Research Paper
Language Code: en
Abstract: In 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.
URI: https://depositonce.tu-berlin.de/handle/11303/11352
http://dx.doi.org/10.14279/depositonce-10239
Issue Date: 2010
Date Available: 15-Jun-2020
DDC Class: 004 Datenverarbeitung; Informatik
Subject(s): petri nets
transformation systems
Negative Application Conditions
NACs
License: http://rightsstatements.org/vocab/InC/1.0/
Series: Forschungsberichte der Fakultät IV - Elektrotechnik und Informatik / Technische Universität Berlin
Series Number: 2010-03
ISSN: 1436-9915
Appears in Collections:Fak. 4 Elektrotechnik und Informatik » Publications

Files in This Item:
tr_2010-03.pdf
Format: Adobe PDF | Size: 1.28 MB
DownloadShow Preview
Thumbnail

Item Export Bar

Items in DepositOnce are protected by copyright, with all rights reserved, unless otherwise indicated.