عنوان
پدید آورنده
موضوع
رده
QA76.9.D5 B996 2011
QA76
.
9
.
D5
B996
2011
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
364208303X
(Number (ISBN
9783642083037
NATIONAL BIBLIOGRAPHY NUMBER
Number
b540563
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Elements of distributed algorithms :
General Material Designation
[Book]
Other Title Information
modeling and analysis with petri nets
First Statement of Responsibility
by Wolfgang Reisig.
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin ; London
Name of Publisher, Distributor, etc.
Springer
Date of Publication, Distribution, etc.
2011
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
1 volume : illustrations ; 24 cm
CONTENTS NOTE
Text of Note
I. Elementary Concepts.- II. Case Studies.- III. Advanced Concepts.- IV. Case Studies.- V. Case Studies Continued: Acknowledged Messages.- VI. Case Studies Continued: Network Algorithms.- VII. State Properties of Elementary System Nets.- VIII. Interleaved Progress of Elementary System Nets.- IX. Concurrent Progress of Elementary System Nets.- X. State Properties of System Nets.- XI. Interleaved Progress of System Nets.- XII. Concurrent Progress of System Nets.- XIII. Formal Analysis of Case Studies.- References.
TOPICAL NAME USED AS SUBJECT
Computer algorithms.
Electronic data processing -- Distributed processing.
Petri nets.
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
9
.
D5
Book number
B996
2011
PERSONAL NAME - PRIMARY RESPONSIBILITY
by Wolfgang Reisig.
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Wolfgang Reisig
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
