Graphical Languages with a formally defined semantics

• Statecharts and synchronous languages:
• Petri Nets