Processes of contextual nets and their characteristics

• Autorzy: Winkowski J.
• Języki publikacji: EN

Abstrakty

EN

Generalized Place/Transition Petri nets, called contextual nets, and processes of such nets are considered. Processes of contextual nets are represented as partial orders with some extra structure. Operations of composing processes are defined such that each process of a contextual net can be obtained by combining processes corresponding to places and transitions of this net. Matrix-like characteristics of processes, called tables, and natural operations on such characteristics are defined such that the correspondence between processes and their characteristics is a homomorphism.

Słowa kluczowe

EN

contextual net; process; sequential composition; parallel composition; interchange; table multiplication; juxtaposition of tables; interchange of tables; homomorphism

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 1998
• Tom: Vol. 36, nr 1
• Strony: 71--101
• Opis fizyczny: wykr., bibliogr. 9 poz.

Twórcy

autor

Winkowski J.

• Instytut Podstaw Informatyki PAN, Ordona 21, 01-237 Warszawa, Poland,