Contains the keyword verification
Formal analysis of BPEL workflows with compensation by model checking. International Journal of Computer Systems and Engineering. 2008;23. Abstract
Optimization in Graph Transformation Systems Using Petri Net Based Techniques. Electronic Communications of the EASST (ECEASST). 2006;2. Abstract
Selected papers of Workshop on Petri Nets and Graph Transformations
Designing the Automatic Transformation of Visual Languages. Science of Computer Programming. 2002;44:205-27. Abstract
