Petri NetsPN ReferencesPN Anthologies
No.54
Short Citation (Battiston et al. 1988)
Year 1988
Special Name OBJSA nets
Descendant of high-level Petri nets, SA nets
Constructs Inherent Place sg: state-machine components, sg/l: interpretation function
Transition sg/l: object
Flow Relation sg/l: variables, operators
Token individuals
NewInventedAdapted
Included
BorrowedIncluded
Added
Syntactic Rules Added X
Restrictednumber of incoming arcs of a transition = number of outgoing arcs
Remarks
Alternative Publications
Binary Vector Inherent [P1] 1
[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.10
Inherent 0.20
Explicit 0.00
Domain Specifics 0.00
Partially Redundant Constructs Conjunctive Concepts
Linked Concepts
Copyright(a) Susanne Patig, 2005