Author:
Stansifer Ryan,Beaven Mike,Marinescu Dan C
Subject
Hardware and Architecture,Information Systems,Software
Reference19 articles.
1. An Example of Modeling and Evaluation of a Concurrent Program Using Colored Stochastic Petri Nets: Lamport's Fast Mutual Exclusion Algorithm;Balbo;IEEE Trans. Parallel Dist. Syst.,1992
2. Toward Real-Time Performance Benchmarks for Ada;Clapp;Commun. ACM,1986
3. Derivation of Petri net models of Ada tasking constructs involving time;Fong,1989
4. A general way to put time in Petri nets;Ghezzi,1989
5. Petri nets modelling on transputers with occam 2;Gourgand,1990
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献