Departamento de Informatica e Ingenieria de Sistemas Universidad de Zaragoza Zaragoza, Spain;
UML; software performance; generalized stochastic petri nets; compositionality; activity diagrams; CASE tool; UML profile for schedulability performance and time specification;
机译:通过UML活动图和控制解释的Petri网在逻辑控制器设计中进行异常处理
机译:基于UML活动图和Petri网的工作流的定性和定量分析
机译:基于随机Petri网的可自我重构的面向服务软件的性能评估
机译:从UML活动图到随机Petri网:应用于软件性能工程
机译:系统工程中的验证和确认:应用于UML 2.0活动和类图
机译:利用随机Petri网对分子生物学中的随机系统进行定量建模
机译:分层彩色Petri网的UML图:一种自动软件性能工具
机译:彩色随机petri网(Cs-pn)软件:在分布式系统的验证和性能评估中的应用