Petri Nets: fundamental models, verification and applications Edited by Michel Diaz
Material type:
TextPublication details: New Jersey John Wiley & Sons 2009Description: xxv, 585pISBN: 9781848210790Subject(s): System design | Parallel processing (Electronic computer) | Electronic data processing -- Distributed orocessingDDC classification: 511.35 DIA
Contents:
<p>Contents:</p>
<p>1. Basic Semantics
| Item type | Current library | Collection | Call number | Vol info | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|---|
REFERENCE BOOK
|
LRC_JUIT Mathematics | REFERENCE SECTION | REF 511.35 DIA (Browse shelf (Opens below)) | Copy 1 | Not for loan | 025292 |
Total holds: 0
Browsing LRC_JUIT shelves, Shelving location: Mathematics, Collection: REFERENCE SECTION Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| REF 511.322 SAN Neural Cell Behavior and Fuzzy Logic | REF 511.322 SEN Fuzzy Preference Ordering of Interval Numbers in Decision Problems | REF 511.33 GRE Pattern Theory : From representation to Inference | REF 511.35 DIA Petri Nets: fundamental models, verification and applications | REF 511.35 HIN Lambda-Calculus and Combinators: an introduction | REF 511.352 NAM Emergent Intelligence of Networked Agents | REF 511.352 ZIM Computational Complexity: a quantitative perspective |
<p>Contents:</p>
<p>1. Basic Semantics
There are no comments on this title.