M网络

此软件的关键字
zbMATH参考文献(参考
11篇文章
Kindler,Ekkart:《局部和全局行为建模:Petri网和事件协调》(2012) ioport公司 Valero,Valentín;Maciá,Hermenegilda;Pardo,Juan José;Cambronero,María Emilia;Díaz,Gregorio:将具有优先级和时间限制的web服务编排转换为优先化的时间着色Petri网(2012) Ciobanu,Gabriel;Koutny,Maciej:过程代数和Petri网中的时间移动性(2011) Thanh,Cécile Bui;Klaudel,Hanna:用高级模块化Petri网进行面向对象建模(2004) Devillers,Raymond;Klaudel,Hanna;Riemann,Robert-C.:M-网演算的一般参数化求精和递归(2003) Thanh,C.Bui;Klaudel,H.;Pommereau,F.:系统验证的因果时间Petri网(2003) Klaudel,Hanna;Pommereau,Franck:一类可组合和可抢占的高级Petri网及其在多任务系统中的应用(2002) 高级组合语义学:高级组合语言的并行程序设计 Klaudel,Hanna;Pommereau,Franck:并行编程语言中静态异常的并发语义(2001) Klaudel,Hanna;Pommereau,Franck:PBC和M-nets中的异步链路(1999) Best,Eike;Frączak,Wojciech;Hopkins,Richard P.;Klaudel,Hanna;Pelz,Elisabeth:M-网:高级Petri网的代数及其在并发编程语言语义中的应用(1998)