A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems 论文

1984ACM Transactions on Computer Systems引用 1339
DOI
Petri Nets in System ModelingAdvanced Queuing Theory AnalysisFormal Methods in Verification
Petri Nets in System ModelingFormal Methods in VerificationAdvanced Queuing Theory Analysis
相关技术:Formal Methods in VerificationPetri Nets in System Modeling
关系图谱

A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems · 相关技术

相关技术

Formal Methods in VerificationPetri Nets in System Modeling