Reference : Efficient Process Analysis of Transformation Systems Based on Petri nets
Reports : External report
Engineering, computing & technology : Computer science
Efficient Process Analysis of Transformation Systems Based on Petri nets
Hermann, Frank mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
Corradini, Andrea [> >]
Ehrig, Hartmut [> >]
König, Barbara [> >]
TU Berlin
ISSN 1436-9915
TR 2010-3
[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.

File(s) associated to this reference

Fulltext file(s):

Open access
tr_2010-03.pdfPublisher postprint1.28 MBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.