학술논문

Simulative analysis of coloured extended stochastic Petri nets

Document Type

TEXT

Author

Source

Subject

Computer Science
Stochastic model
Carved Petri Net
Model Checking
Colored extended Stochastic Petri Nets
Stochastic simulation
Delta leaping
Decorated expanded stochastic Petri nets
Informatik
Stochastisches Modell
Gefärbtes Petri-Netz
Coloured extended Stochastic Petri Nets
Delta-leaping
Simulative model checking
Gefärbte erweiterte stochastische Petri Netze
Stochastische Simulation
Simulatives Modelchecking

Language

English

Online Access

Open Access (Europeana) Find it@PNU

이메일

부산대학교 도서관

Online Access

메일 발송