2009 Ninth International Conference on Application of Concurrency to System Design (2009)
July 1, 2009 to July 3, 2009
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ACSD.2009.11
Operating guidelines characterize correct interaction (e.g. deadlock freedom) with a service. They can be stored in a service registry. So far, they have been represented as an annotated transition system. For the sake of saving space in the registry, we want to translate operating guidelines into Petri nets. To make this possible, we carefully investigate regularities in the annotations.
K. Wolf and N. Lohmann, "Petrifying Operating Guidelines for Services," 2009 Ninth International Conference on Application of Concurrency to System Design(ACSD), Augsburg, Germany, 2009, pp. 80-88.