...
机译:多线程软件中的并发性错误:使用Petri网进行建模和分析
Concurrent software; Deadlock analysis; Modeling; Petri nets;
机译:多线程软件中的并发性错误:使用Petri网进行建模和分析
机译:有界Petri网的层次可及性图,用于并发软件分析
机译:多线程软件中一类Petri网的最优动态执行控制
机译:消除多线程软件中的并发错误:一种基于Petri网控制的方法
机译:使用轮廓/过渡网(PETRI网,规范,验证)对并发系统进行建模和分析
机译:无线可充电传感器网络杂交网络Petri净建模模拟和分析主机电阻
机译:多线程软件中的并发错误:使用petri网进行建模和分析
机译:使用petri网支持并发软件分析和设计自动化