Comparing truly concurrent semantics for contextual Place/Transition nets with inhibitor and read arcs

• Autorzy: Busi N. , Pinna G.M.
• Języki publikacji: EN

Abstrakty

EN

The paper is centered around the study and comparison of truly concurrent semantics for P/T nets with inhibitor and read arcs (called henceforth contextual P/T nets). We start proposing a causal semantics for P/T nets, that we prove to be equivalent to history preserving bisimulation defined on nonsequential processes. Then we develop a conservative extension of the causal semantics to contextual P/T nets and we prove this one to be finer than step semantics. Finally, a comparison of causal semantics with the process based semantics for contextual P/T systems proposed in [7] is carried out.

Słowa kluczowe

EN

contextual net; causal semantic; step semantics; process semantics

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2000
• Tom: Vol. 44, Nr 3
• Strony: 209--244
• Opis fizyczny: bibliogr. 19 poz.

Twórcy

autor

Busi N.

autor

Pinna G.M.

• Mura A. Zamboni, 7 - 40127 Bologna, Italy,