Vítáme Vás, můžete se přihlásit nebo vytvořit účet.

Cart

product (empty)

Košík je prázdný

Zboží celkem: 0 Kč

Termín obdržení zásilky
Česká pošta	Čtvrtek 06.06
PPL	Čtvrtek 06.06
Osobní odběr	Pátek 07.06
Termíny jsou pouze orientační a mohou se lišit podle zvoleného typu platby. O Průběhu zásilky Vás budeme informovat e-mailem.
Při nákupu většího množství produktů negarantujeme dodání do zobrazeného data

Ausfallsichere Petrinetzsimulation

21 %

852 Kč 1 072 Kč

Sleva až 70% u třetiny knih

Popis knihy

Inhaltlich unveränderte Neuauflage. Der Reference Net Workshop (Renew) der Universität Hamburg bietet die Möglichkeit, Petrinetze, insbesondere Referenznetze zu modellieren und verteilt zu simulieren. Da Renew als Java-Applikation realisiert ist und es gestattet, Java-Objekte als Marken zu verwenden, ist eine wechselseitige Integration mit anderen Applikationen leicht möglich, um beispielsweise mit Petrinetzen Industrieanlagen zu steuern oder deren Abläufe zu visualisieren, sowie um auf verschiedene Arbeitsplätze verteilt Eingriffe in das System vorzunehmen. Daher ist es wichtig, die Steuerung ausfallsicher zu gestalten. Diese Arbeit erweitert Renew um die fortlaufende Persistenz des aktuellen Simulationszustands, um bei Systemausfall die Simulation rekonstruieren und fortsetzen zu können. Hierbei wird insbesondere Rücksicht auf die parallele Aktivierung von Transitionen und den damit verbundenen Synchronisationsproblemen genommen. Das Buch richtet sich an alle Informatiker, an Studenten des Faches sowie den interessierten Leser.