Vyhledávat v databázi titulů je možné dle ISBN, ISSN, EAN, č. ČNB, OCLC či vlastního identifikátoru. Vyhledávat lze i v databázi autorů dle id autority či jména.

Projekt ObalkyKnih.cz sdružuje různé zdroje informací o knížkách do jedné, snadno použitelné webové služby. Naše databáze v tuto chvíli obsahuje 2916256 obálek a 882817 obsahů českých a zahraničních publikací. Naše API využívá většina knihoven v ČR.

Registrovat »    Zapomenuté heslo?

Petri Nets for Systems Engineering

Rok: 2002
ISBN: 9783540412175
OKCZID: 110401536

Citace (dle ČSN ISO 690):
GIRAULT, Claude. Petri nets for systems engineering: a guide to modeling, verification, and applications. Berlin: Springer, 2003. xvi, 607 s.


Anotace

Upravit anotaci
 

Using formal methods for the specification and verification of hardware and software systems is becoming increasingly important as systems increase in size and complexity. The aim of the book is to illustrate progress in formal methods based on Petri net formalisms. It presents both practical and theoretical foundations for the use of Petri nets in complex system engineering tasks. In doing so it bridges the gap between Petri nets and the systems modeling and implementation process. It contains a collection of examples arising from different fields, such as flexible manufacturing, telecommunication and workflow management systems.


Dostupné zdroje

Amazon


Přidat komentář a hodnocení

Od: (127.0.0...)