Petri NetsPN ReferencesPN Anthologies
No.111
Short Citation (Di Marzo Serugendo et al. 2002)
Year 2002
Special Name Real-Time Synchronized Petri-nets
Descendant of
Constructs Inherent Place sg/f: capacity
Transition sg: methods, sg/l: time interval
Flow Relation sg: inhibitor
Token sg: time stamped
NewInventedAdaptedsynchronization expression
Included
BorrowedIncluded
Added
Syntactic Rules Added Methods and Transitions may request synchronization with methods.
Restricted
Remarks
Alternative Publications
Binary Vector Inherent [P1]
[P2]
[P3]
[P4] 1
[P5]
[P6]
[P7]
[P8] 1
[P9]
[P10]
[P11]
[P12]
[P13]
[P14]
[P15] 1
Explicit [P16]
[P17]
[P18]
[P19] 1
[P20]
[P21]
Domain [P22]
[P23]
[P24]
[P25]
[P26]
[P27]
[P28]
[P29]
[P30]
[P31]
Expressiveness Values Total 0.13
Inherent 0.20
Explicit 0.17
Domain Specifics 0.00
Partially Redundant Constructs Conjunctive Concepts
Linked Concepts
Copyright(a) Susanne Patig, 2005