Generation of Animation Views for Petri Nets in GenGED.

Published in: Petri Net Technology for Communication-Based Systems (2003)