timed Petri nets

GPTKB entity

Statements (30)
Predicate Object
gptkbp:instanceOf gptkb:logic
Petri net extension
gptkbp:application embedded systems
communication protocols
manufacturing systems
workflow modeling
gptkbp:extendsTo gptkb:Petri_nets
gptkbp:formedBy gptkb:Carl_Adam_Petri
gptkbp:hasComponent tokens
transitions
places
time stamps
arcs
gptkbp:hasFeature timing constraints
gptkbp:hasProperty firing delay
timed places
timed transitions
https://www.w3.org/2000/01/rdf-schema#label timed Petri nets
gptkbp:relatedTo gptkb:colored_Petri_nets
gptkb:stochastic_Petri_nets
discrete event systems
gptkbp:studiedIn computer science
operations research
systems engineering
gptkbp:usedIn real-time systems
performance analysis
modeling of concurrent systems
gptkbp:bfsParent gptkb:Petri_net
gptkb:Petri_nets
gptkbp:bfsLayer 6