TY  - SER
AU  - lin, Chuang
AU  - Marinescu, Dan Cristian
TI  - Stochastic High-Level Petri Nets and Applications
KW  - Continuous Time Markov Chain
KW  - High-Level Fuzzy Petri Nets
KW  - Multiprocessor
ER  -