Please use this identifier to cite or link to this item:
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
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.
Subject(s): petri nets
transformation systems
Negative Application Conditions
Issue Date: 2010
Date Available: 15-Jun-2020
Language Code: en
DDC Class: 004 Datenverarbeitung; Informatik
Series: Forschungsberichte der Fakultät IV - Elektrotechnik und Informatik / Technische Universität Berlin
Series Number: 2010-03
ISSN: 1436-9915
TU Affiliation(s): Fak. 4 Elektrotechnik und Informatik
Appears in Collections:Technische Universität Berlin » Publications

Files in This Item:
Format: Adobe PDF | Size: 1.28 MB
DownloadShow Preview

Item Export Bar

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