Termination Analysis of Model Transformations by Petri Nets.

Dániel Varró Szilvia Varró-Gyapay Hartmut Ehrig Ulrike Prange Gabriele Taentzer

Published in: ICGT (2006)

Keyphrases

petri net
petri net model
stochastic petri net
colored petri nets
software engineering
fuzzy petri net
expert systems
mobile devices