책 이미지
eBook 미리보기
책 정보
· 제목 : Petri Net Algebra (Hardcover)
· 분류 : 외국도서 > 과학/수학/생태 > 수학 > 대수학 > 대수학 일반
· ISBN : 9783540673989
· 쪽수 : 378쪽
· 출판일 : 2001-01-26
· 분류 : 외국도서 > 과학/수학/생태 > 수학 > 대수학 > 대수학 일반
· ISBN : 9783540673989
· 쪽수 : 378쪽
· 출판일 : 2001-01-26
목차
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.
