[en] 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 e ects of the NACs. We show
the e ectiveness 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 signi cant improvement in speed.
Disciplines :
Computer science
Author, co-author :
Hermann, Frank ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Corradini, Andrea
Ehrig, Hartmut
König, Barbara
Language :
English
Title :
Efficient Process Analysis of Transformation Systems Based on Petri nets
