A Linear Logic view of object Petri Nets

• Autorzy: Farwer B.
• Języki publikacji: EN

Abstrakty

EN

Linear Logic has been shown to incorporate a fragment suitable for representing P/T-nets and giving a semantics to the computations of such nets. This result is generalized to coloured nets. Furthermore a new kind of high-level nets is defined: Linear Logic Petri Nets (LLPN). These nets are used as an intuitive semantics to well-known and new high-level net concepts like object systems and agent orientation.

Słowa kluczowe

EN

linear logic; Petri net; object systems; concurrency

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 1999
• Tom: Vol. 37, Nr 3
• Strony: 225--246
• Opis fizyczny: wykr., bibliogr. 12 poz.

Twórcy

autor

Farwer B.

• Universität Hamburg Fachbereich Informatik Vogt-Kölln-Str. 30 D-22527 Hamburg, Ger-many,