Petri NetsPN ReferencesPN 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
NewInventedAdapted
Included
BorrowedIncluded
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
Copyright(a) Susanne Patig, 2005