Normal view MARC view ISBD view

Petri nets : fundamental models, verification, and applications

Material type: materialTypeLabel

BookPublisher: Hoboken: Wiley, 2009Description: xxv, 585 p.; ill.: 24 cm.ISBN: 9781848210790 .Subject(s): Electronic data processing -- Distributed processing | Parallel processing (Electronic computers) | Petri nets | System designDDC classification: 511.35

Tags from this library: No tags from this library for this title. Log in to add tags.

Item type	Current location	Call number	Status	Date due	Barcode
Books		511.35 DIA (Browse shelf)	Available		025005

Previous								Next
Previous	511.35 BAR Lambda calculus with types	511.35 BOL Formal models of communicating systems : languages, automata and monadic second-order logic	511.35 CAV Sequential logic : analysis and synthesis	511.35 DIA Petri nets : fundamental models, verification, and applications	511.35 GOD Introducing the theory of computation	511.35 GOP Computation engineering : applied automata theory and logic	511.35 HIN Lambda calculus and combinators : an introduction	Next

There are no comments for this item.

Koha online