Petri Net Algebra /
This book presents a step-by-step development of a rigorous framework for the specification and verification of concurrent systems. Petri Net Algebra takes its inspiration and methods from Process Algebra and Petri Nets, two prominent branches of concurrency theory. Added synergistic benefit is deri...
| Main Author: | |
|---|---|
| Corporate Author: | |
| Other Authors: | , |
| Format: | eBook |
| Language: | English |
| Published: |
Berlin, Heidelberg :
Springer Berlin Heidelberg,
2001.
|
| Series: | Monographs in Theoretical Computer Science An EATCS Series.
|
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
Search Result 1
