Author:
Jiang Changjun,Wang Huaiqing,Liao Shaoyi
Publisher
Springer Science and Business Media LLC
Subject
Computational Theory and Mathematics,Computer Science Applications,Hardware and Architecture,Theoretical Computer Science,Software
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Design, Analysis and Verification of Real-Time Systems Based on Time Petri Net Refinement;ACM Transactions on Embedded Computing Systems;2013-01
2. Workflow Instance Migration Responding to Process Evolution;Advances in Intelligent and Soft Computing;2012
3. A Petri Net Approach to Analysis and Composition of Web Services;IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans;2010-03
4. With an application to workflow management based on Colored Petri net;2009 3rd International Conference on Anti-counterfeiting, Security, and Identification in Communication;2009-08
5. Preserving Languages and Properties in Stepwise Refinement-Based Synthesis of Petri Nets;IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans;2008-07