Czasopismo
1999
|
Vol. 37, Nr 3
|
225-246
Tytuł artykułu
Autorzy
Wybrane pełne teksty z tego czasopisma
Warianty tytułu
Języki publikacji
Abstrakty
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
Czasopismo
Rocznik
Tom
Strony
225-246
Opis fizyczny
wykr., bibliogr. 12 poz.
Twórcy
autor
- Universität Hamburg Fachbereich Informatik Vogt-Kölln-Str. 30 D-22527 Hamburg, Ger-many, farwer@informatik.uni-hamburg.de
Bibliografia
Typ dokumentu
Bibliografia
Identyfikatory
Identyfikator YADDA
bwmeta1.element.baztech-article-BUS1-0007-0015