Triple Graph Grammar Rules for Petri Nets

A DSL to specify Triple Graph Grammar rules that involve petri nets. This is an extension to the plain petri net syntax.

Contents 1 Screenshot 2 CS Specification 3 Metamodel 4 Plugins

Screenshot

CS Specification

petrinet_tgg_rule.cs

Metamodel

petrinet_tgg_rule.ecore

petrinet_tgg_rule.genmodel

Plugins

org.emftext.language.petrinet.tgg_rule

org.emftext.language.petrinet.tgg_rule.resource.petrinet.tgg_rule

In addition, the following plug-ins from the Tornado TGG engine are needed:

de.tudresden.tornado2.textual_rules.annotations

de.tudresden.tornado2.metamodel.tggRules

de.tudresden.tornado2.metamodel.modelCorrespondence