Predicate/transition nets

• 6 March 2006
• book chapter
• Published by Springer Nature
• Vol. 254, 207-247
• https://doi.org/10.1007/bfb0046841

Abstract

Keywords

• TRANSITION NETS
• TRANSITION NET
• LOGICAL AND LINEAR-ALGEBRAIC SYSTEM INVARIANTS.
• HIGHER-LEVEL PETRI NETS
• VARIABLE RELA- TIONAL STRUCTURES
• PREDICATE/TRANSITION NETS PRT-NETS
• LINEAR ALGEBRA
• PETRI NET
• SYSTEM MODELING