Fundamenta Informaticae - Tom Vol. 88, nr 3 (2008) - Biblioteka Nauki - Yadda

Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl

Tom - szczegóły

Tytuł artykułu

Vol. 88, nr 3

Czasopismo

Fundamenta Informaticae

Wydawca

Rocznik

2008

Identyfikatory

Zawartość wolumenu

Vol. 88, nr 3
- artykuł: On the Compared Expressiveness of Arc, Place and Transition Time Petri Nets (Boyer M., Roux O. H.), s. 225-249
- artykuł: Nets with Tokens which Carry Data (Lazić R., Newcomb T., Ouaknine J., Roscoe A. W., Worrell J.), s. 251-274
- artykuł: From Many Places to Few: Automatic Abstraction Refinement for Petri Nets (Ganty P., Raskin J.-F., Van Begin L.), s. 275-305
- artykuł: Synthesis of Elementary Net Systems with Context Arcs and Localities (Koutny M., Pietkiewicz-Koutny M.), s. 307-328
- artykuł: Name Creation vs. Replication in Petri Net Systems (Rosa-Velardo F., de Frutos-Escrig D.), s. 329-356
- artykuł: Coloured Petri Net Modelling of an Evolving Internet Standard: the Datagram Congestion Control Protocol (Billington J., Vanit-Anunchai S.), s. 357-385
- artykuł: Working with the Past: Integrating History in Petri Nets (Hee K., Serebrenik A., Sidorova N., Aalst W.), s. 387-409

rozwiń roczniki

JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.