位置：成果数据库 > 期刊 > 期刊详情页
An algorithm for generating home states of Petri nets
  • ISSN号：1553-9105
  • 期刊名称：Journal of Computational Information Systems
  • 时间：0
  • 页码：4225-4232
  • 语言：英文
  • 相关项目：Petri网系统的子系统相关性研究
作者： Chai, Hua|Ding, Zhijun|Wang, Pengwei|
同期刊论文项目
Petri网系统的子系统相关性研究
期刊论文 23 会议论文 4 专利 2
同项目期刊论文
一种基于领域本体的最优Web服务组合方法
基于Petri网的容错系统分层建模
基于一致分布的时间Petri网模型
基于离散微粒群算法的动态Web服务选择
Automated Web Service Composition Supporting Conditional Branch Structures
混合语义时间Petri网模型
Reliable web services selection based on finite state machine model
Indeterminacy-aware service selection for reliable service composition
Automatic Web services composition algorithm based on optimal matching
基于Petri网的协同工作流建模与分析
基于逻辑Petri网的图书馆借阅系统的建模与分析
基于程序Petri网的新型软件开发方法研究
Modeling multimedia synchronization using petri nets
A Petri Net-Based Model for Verification of Obligations and Accountability in Cooperative Systems
A process generation approach of dynamic workflows based description logics
Soundness analysis of t-restricted interorganizational logical workflow nets
Modeling and design for dynamic workflows based on flexible activities
逻辑Petri网变迁使能的判定方法
模型机控制并行口的设计与实现