Petri NetsPN ReferencesPN Anthologies
No.109
Short Citation (Köhler et al. 2001)
Year 2001
Special Name Reference Nets
Descendant of CPN
Constructs Inherent Place rf: CPN
Transition
Flow Relation rf: CPN, sg: reservation, test, inhibitor
Token sg: object net
NewInventedAdaptedsynchronous channels
Included
BorrowedIncluded
Added
Syntactic Rules Added Channels connect one transition to exactly one other for one occurrence.
Restricted
RemarksReservation arcs reserve tokens for a transition.
Alternative Publications (Köhler 2004)
Binary Vector Inherent [P1]
[P2]
[P3] 1
[P4]
[P5]
[P6]
[P7]
[P8] 1
[P9]
[P10]
[P11]
[P12]
[P13]
[P14]
[P15] 1
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
Copyright(a) Susanne Patig, 2005