Performance Analysis of Java Using Petri Nets
暂无分享,去创建一个
[1] Tobias Nipkow,et al. Javalight is type-safe—definitely , 1998, POPL '98.
[2] Tadao Murata,et al. Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.
[3] E. Battiston,et al. Class orientation and inheritance in modular algebraic nets , 1993, Proceedings of IEEE Systems Man and Cybernetics Conference - SMC.
[4] Sophia Drossopoulou,et al. Java is Type Safe - Probably , 1997, ECOOP.
[5] Martin D. Westhead,et al. A methodology for benchmarking Java Grande applications , 1999, JAVA '99.
[6] Stephen N. Freund,et al. A type system for object initialization in the Java bytecode language , 1998, OOPSLA '98.
[7] Kenneth A. Hawick,et al. Analysis and development of Java Grande benchmarks , 1999, JAVA '99.
[8] René David,et al. Petri nets for modeling of dynamic systems: A survey , 1994, Autom..
[9] Didier Buchs,et al. Structured Algebraic Nets with Object-Orientation , 1995 .