Contains the keyword verification

Kovács Má, Gönczy L, Varró D. Formal analysis of BPEL workflows with compensation by model checking. International Journal of Computer Systems and Engineering. 2008;23. Abstract
Varró-Gyapay S, Varró D. 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
Syndicate content