Author:
Nguyen Thi-Hoa-Hue,Le-Thanh Nhan
Publisher
Springer Berlin Heidelberg
Reference13 articles.
1. Lu, S., Bernstein, A.J., Lewis, P.M.: Automatic workflow verification and generation. Theor. Comput. Sci. 353, 71–92 (2006)
2. Communications in Computer and Information Science;T-H-H Nguyen,2014
3. W3C: Sparql 1.1 query language. W3C Recommendation (2013).
http://www.w3.org/TR/sparql11-query/
4. Kristensen, L.M., Christensen, S., Jensen, K.: The practitioner’s guide to coloured petri nets. STTT 2, 98–132 (1998)
5. Corby, O., et al.: Corese/kgram.
https://wimmics.inria.fr/corese