عنوان
پدید آورنده
موضوع
رده
QA76.58 E354 2010
QA76
.
58
E354
2010
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
3642086772
(Number (ISBN
9783642086779
NATIONAL BIBLIOGRAPHY NUMBER
Number
b556452
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Petri net algebra
General Material Designation
[Book]
First Statement of Responsibility
Eike Best; Raymond Devillers; Maciej Koutny
.PUBLICATION, DISTRIBUTION, ETC
Name of Publisher, Distributor, etc.
Berlin Springer
Date of Publication, Distribution, etc.
2010
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
XI, 378 Seiten 24 cm
SERIES
Series Title
Monographs in theoretical computer science
CONTENTS NOTE
Text of Note
1. Introduction.- 2. The Petri Box Calculus.- 3. Syntax and Operational Semantics.- 4. Petri Net Semantics.- 5. Adding Recursion.- 6. S-invariants.- 7. The Box Algebra.- 8. PBC and Other Process Algebras.- 9. A Concurrent Programming Language.- 10. Conclusion.- Appendix: Solutions of Selected Exercises.- References.
TOPICAL NAME USED AS SUBJECT
Computer science -- Mathematics.
Parallel processing (Electronic computers)
Petri nets.
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
58
Book number
E354
2010
PERSONAL NAME - PRIMARY RESPONSIBILITY
Eike Best; Raymond Devillers; Maciej Koutny
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Eike Best
Maciej Koutny
Raymond Devillers
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
