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.
Original language | English |
---|---|
Title of host publication | Proceedings 9th International Conference on Application of Concurrency to System Design (ACSD 2009, Augsburg, Germany, July 1-3, 2009) |
Publisher | Institute of Electrical and Electronics Engineers |
Pages | 80-88 |
ISBN (Print) | 978-0-7695-3697-2 |
DOIs | |
Publication status | Published - 2009 |