Petri Net
Model Transformation Verification: some theory and some practice Levi Lúcio MSDL Lab / NECSIS project McGill University.
Towards proactive computing systems Leo Motus and Merik Meriste Tallinn University of Technology and University of Tartu 21st January 20081Laboratory for.
CPSC 875