Petri NetsPN ReferencesPN Anthologies
No.32
Short Citation (Jensen 1983)
Year 1983
Special Name CPN (Coloured Petri nets)
Descendant of CP81-nets, PrT
Constructs Inherent Place sg/f: colour set
Transition sg/f: colour set, sg/f: guard
Flow Relation sg/l: expressions that evaluate to colours
Token sg: coloured
NewInventedAdapted
Included
BorrowedIncluded
Added
Syntactic Rules Added X
Restricted
Remarks
Alternative Publications (Jensen 1987a), [Jensen 1990]
Binary Vector Inherent [P1]
[P2]
[P3] 1
[P4] 1
[P5]
[P6]
[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.06
Inherent 0.13
Explicit 0.00
Domain Specifics 0.00
Partially Redundant Constructs Conjunctive Concepts
Linked Concepts
Copyright(a) Susanne Patig, 2005