Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: object systems

Sortuj według:

Ogranicz wyniki do:

A Linear Logic view of object Petri Nets

Farwer B.

Fundamenta Informaticae

1999

Vol. 37, Nr 3

225-246

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.