Petri NetsPN ReferencesPN Anthologies
No.95
Short Citation (Recalde et al. 1996)
Year 1996
Special Name {SC}*ECS
Descendant of P/T
Constructs Inherent Place rf: P/T, sg: buffer
Transition rf: P/T
Flow Relation rf: P/T
Token rf: P/T
NewInventedAdapted
Included
BorrowedIncluded
Added
Syntactic Rules Added X
Restricted(1) if transitions share a preset, it is identical (equal conflict), (2) restrictions on buffers
RemarksMaybe, because of a disjoint union, buffers are not seen as places. The formulation of the disjoint union is somewhat unclear.
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