Generalised composition operations for high-level Petri nets

• Autorzy: Best E. , Lavrov A.
• Języki publikacji: EN

Abstrakty

EN

We propose generic schemes for basic composition operations (sequential composition, choice, iteration, and refinement) for high-level Petri nets. They tolerate liberal combinations of place types (equal, disjoint, intersecting) and, owing to a parameterised scheme of type construction, allow for weak and strong versions of compositions. Properties such as associativity, commutativity, and coherence with respect to unfolding, are preserved.

Słowa kluczowe

EN

high-level Petri nets; composition operators; process algebras

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 1999
• Tom: Vol. 40, Nr 2,3
• Strony: 125--163
• Opis fizyczny: bibliogr. 13 poz.

Twórcy

autor

Best E.

autor

Lavrov A.

• Department of Parallel Systems, Faculty of Computer Science, Carl von Ossietzky Universität Oldenburg, D-26111 Oldenburg, Germany {eike.best,[e-mail],