Petri Nets | PN References | PN Anthologies |
No. | 39 | |||
Short Citation | (Lautenbach/Pagnoni 1985) | |||
Year | 1984 | |||
Special Name | Marked-Graph-Like Predicate/Transition Nets | |||
Descendant of | PrT | |||
Constructs | Inherent | Place | sg: unary predicate | |
Transition | ||||
Flow Relation | sg/l: variable 1-tuple | |||
Token | sg: constant 1-tuple | |||
New | Invented | Adapted | ||
Included | ||||
Borrowed | Included | |||
Added | ||||
Syntactic Rules | Added | X | ||
Restricted | (1) predicates have exactly one input and one ouptput arc, (2) pure, (3) strongly connected | |||
Remarks | ||||
Alternative Publications | ||||
Binary Vector | Inherent | [P1] | na | |
[P2] | na | |||
[P3] | na | |||
[P4] | na | |||
[P5] | na | |||
[P6] | na | |||
[P7] | na | |||
[P8] | na | |||
[P9] | na | |||
[P10] | na | |||
[P11] | na | |||
[P12] | na | |||
[P13] | na | |||
[P14] | ||||
[P15] | na | |||
Explicit | [P16] | na | ||
[P17] | na | |||
[P18] | na | |||
[P19] | na | |||
[P20] | na | |||
[P21] | na | |||
Domain | [P22] | na | ||
[P23] | na | |||
[P24] | na | |||
[P25] | na | |||
[P26] | na | |||
[P27] | na | |||
[P28] | na | |||
[P29] | na | |||
[P30] | na | |||
[P31] | na | |||
Expressiveness Values | Total | na | ||
Inherent | na | |||
Explicit | na | |||
Domain Specifics | na | |||
Partially Redundant Constructs | Conjunctive Concepts | na | ||
Linked Concepts | na |