High-Level Petri Nets—Extensions, Analysis, and Applications
Xudong He, School of Computer Science, Florida International University, Miami, Florida, USA
Tadao Murata, Department of Computer Science, University of Illinois at Chicago, Chicago, Illinois, USA
9.1. Introduction
9.2.1. The Syntax and Static Semantics of High-Level Petri Nets
9.2.2. Dynamic Semantics
9.3. Temporal Predicate Transition Nets
9.3.1. Definition of Temporal Logic
9.3.2. Temporal Predicate Transition Net
9.3.3. An Example of TPrTN
9.3.4. Analysis of TPrTNs
9.4. PZ Nets
9.4.1. A Brief Overview of Z
9.4.2. Definition of PZ Nets
9.4.3. PZ Net Analysis
9.5. Hierarchical Predicate Transition Nets
9.5.1. Definition of HPrTNs ...
Get The Electrical Engineering Handbook now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
