{{holding.name}}
ISBN: 9780521018456 出版年:1991 页码:279 E -R Olderog Cambridge University Press
1. Introduction 2. Petri nets 3. Process terms 4. Logical formulas 5. Process construction 6. Extensions References.
{{comment.content}}