Giters

abdush / ttc_pn2sc

Case description and resources for a Petri nets to state charts transformation

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

PN2SC

This repository contains the case description (PDF) and case resources for the Petri net 2 state chart case for TTC 2013.

  • Pieter and Louis.

About

Case description and resources for a Petri nets to state charts transformation