Exploiting stochastic process algebra achievements for Generalized Stochastic Petri Nets

International Workshop on Petri Nets and Performance Models

Volumn , Issue , 1997, Pages 183-192

  Hermanns, Holger ^a   Herzog, Ulrich ^a   Mertsiotakis, Vassilis ^a   Rettelbach, Michael ^a  

^a UNIVERSITY OF ERLANGEN NUREMBERG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; COMPUTATIONAL COMPLEXITY; COMPUTER ARCHITECTURE; COMPUTER SYSTEMS; EQUIVALENCE CLASSES; HIERARCHICAL SYSTEMS; MATHEMATICAL MODELS; MATHEMATICAL OPERATORS; RANDOM PROCESSES;

GENERALIZED STOCHASTIC PETRI NETS (GSPN); STOCHASTIC PROCESS ALGEBRA (SPA); STOCHASTIC WELL-FORMED NETS (SWN);

PETRI NETS;

EID: 0030649934     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (25)