首页>外文会议>其他>Transactions on petri nets and other models of concurrency V.

Transactions on petri nets and other models of concurrency V.

召开年：
召开地：
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Refinement and Asynchronous Composition of Modal Petri Nets

机译：模态Petri网的细化与异步组成
- 作者：Dorsaf Elhog-Benzina;Serge Haddad;Rolf Hennicker
- 会议名称：《Transactions on petri nets and other models of concurrency V.》 | 2010年
2.A Graphical Approach to Component-Based and Extensible Model Checking Platforms

机译：基于组件的可扩展模型检查平台的图形化方法
- 作者：Michael Westergaard;Lars Michael Kristensen
- 会议名称：《Transactions on petri nets and other models of concurrency V.》 | 2010年
3.A Petri Net Perspective on the Resource Allocation Problem in Software Engineering

机译：基于Petri网的软件工程资源分配问题。
- 作者：Juan-Pablo Lopez-Grao;Jose-Manuel Colom
- 会议名称：《Transactions on petri nets and other models of concurrency V.》 | 2010年
4.Modeling and Mining of Learnflows

机译：学习流建模与挖掘
- 作者：Robin Bergenthum;Joerg Desel;Andreas Harrer;Sebastian Mauser
- 会议名称：《Transactions on petri nets and other models of concurrency V.》 | 2010年
5.Incremental Process Discovery

机译：增量过程发现
- 作者：Marc Sole;Josep Carmona
- 会议名称：《Transactions on petri nets and other models of concurrency V.》 | 2010年
6.Providing an Agent Flavored Integration for Workflow Management

机译：为工作流管理提供代理风格的集成
- 作者：Thomas Wagner;Jose Quenum;Daniel Moldt;Christine Reese
- 会议名称：《Transactions on petri nets and other models of concurrency V.》 | 2010年
- high-level petri nets;
- workflow management systems;
- multi-agent systems;
- software architecture;
7.Cycle Structure in SR and DSR Graphs: Implications for Multiple Equilibria and Stable Oscillation in Chemical Reaction Networks

机译：SR和DSR图中的循环结构：对化学反应网络中的多个平衡和稳定振荡的影响
- 作者：Murad Banaji
- 会议名称：《Transactions on petri nets and other models of concurrency V.》 | 2010年
8.Nets-Within-Nets Paradigm and Grid Computing

机译：网内网范式与网格计算
- 作者：Marco Mascheroni;Fabio Farina
- 会议名称：《Transactions on petri nets and other models of concurrency V.》 | 2010年
- grid;
- petri nets;
- nets-within-nets;
- hypernet;
- validation;
9.Computing a Hierarchical Static Order for Decision Diagram-Based Representation from P/T Nets

机译：从P / T网络计算基于决策图的表示的分层静态订单
- 作者：Silien Hong;Fabrice Kordon;Emmanuel Paviot-Adet;Sami Evangelista
- 会议名称：《Transactions on petri nets and other models of concurrency V.》 | 2010年
- state space generation;
- decision diagrams;
- hierarchy;
10.Bounded Model Checking for Parametric Timed Automata

机译：参数定时自动机的有界模型检查
- 作者：Michal Knapik;Wojciech Penczek
- 会议名称：《Transactions on petri nets and other models of concurrency V.》 | 2010年
11.Ten Years of Saturation: A Petri Net Perspective

机译：十年饱和：Petri网观点
- 作者：Gianfranco Ciardo;Yang Zhao;Xiaoqing Jin
- 会议名称：《Transactions on petri nets and other models of concurrency V.》 | 2010年
12.Synthesis Problem for Petri Nets with Localities

机译：具有局部性的Petri网的综合问题
- 作者：Maciej Koutny;Marta Pietkiewicz-Koutny
- 会议名称：《Transactions on petri nets and other models of concurrency V.》 | 2010年
- theory of concurrency;
- petri net;
- locality;
- analysis and synthesis;
- step sequence semantics;
- conflict;
- theory of regions;
- transition system;
- step firing policy;
- net-type;