The Community for Technology Leaders
2009 Ninth International Conference on Application of Concurrency to System Design (2009)
Augsburg, Germany
July 1, 2009 to July 3, 2009
ISSN: 1550-4808
ISBN: 978-0-7695-3697-2
pp: 80-88
ABSTRACT
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.
INDEX TERMS
CITATION

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.
doi:10.1109/ACSD.2009.11
88 ms
(Ver 3.3 (11022016))