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 2550006 obálek a 740532 obsahů českých a zahraničních publikací. Naše API využívá většina knihoven v ČR.

Registrovat »    Zapomenuté heslo?

Free choice petri nets



Autor: Desel, Jörg.
Rok: 1995.
ISBN: 9780521465199
OKCZID: 110111191
Vydání: 1st ed.

Hodnocení: 5.0 / 5 (6 hlasů)


Anotace

 

Petri nets are a popular and powerful model for analyzing and modeling concurrent systems, and a rich theory has developed around them. This book focuses on a particular class of Petri nets, free choice Petri nets, which plays a central role in the theory. The text is organized very clearly, with every notion carefully explained and every result proved. The authors give clear exposition of place invariants, siphons, traps and many other important analysis techniques. The book contains classical results of free-choice theory as well as more recent results. The material is organized along the lines of a course, and each chapter contains numerous exercises, making this text ideal for graduate students and research workers alike.


Dostupné zdroje

Amazon


Přidat komentář a hodnocení

Od: (127.0.0...)