| Petri Nets | PN References | PN Anthologies |
| No. | 21 | |||
| Short Citation | (Genrich/Lautenbach 1981) | |||
| Year | 1979 | |||
| Special Name | PrT (Predicate/Transition) | |||
| Descendant of | C/E, P/T | |||
| Constructs | Inherent | Place | sg: predicates, sg/f: capacity | |
| Transition | sg/l: logical formulas, sg: dead | |||
| Flow Relation | sg/l: formal sums | |||
| Token | sg: items (n-tupels of individual symbols) | |||
| New | Invented | Adapted | ||
| Included | ||||
| Borrowed | Included | |||
| Added | ||||
| Syntactic Rules | Added | X | ||
| Restricted | ||||
| Remarks | ||||
| Alternative Publications | ||||
| Binary Vector | Inherent | [P1] | ||
| [P2] | ||||
| [P3] | 1 | |||
| [P4] | 1 | |||
| [P5] | ||||
| [P6] | m | |||
| [P7] | ||||
| [P8] | ||||
| [P9] | ||||
| [P10] | ||||
| [P11] | ||||
| [P12] | ||||
| [P13] | ||||
| [P14] | ||||
| [P15] | ||||
| Explicit | [P16] | |||
| [P17] | ||||
| [P18] | ||||
| [P19] | ||||
| [P20] | ||||
| [P21] | ||||
| Domain | [P22] | |||
| [P23] | ||||
| [P24] | ||||
| [P25] | ||||
| [P26] | ||||
| [P27] | ||||
| [P28] | ||||
| [P29] | ||||
| [P30] | ||||
| [P31] | ||||
| Expressiveness Values | Total | 0.10 | ||
| Inherent | 0.20 | |||
| Explicit | 0.00 | |||
| Domain Specifics | 0.00 | |||
| Partially Redundant Constructs | Conjunctive Concepts | |||
| Linked Concepts | ||||