Publisher
Springer Nature Singapore
Reference45 articles.
1. van der Aalst, W.M.P.: Structural Characterizations of Sound Workflow Nets. Computing Science Report 96/23, Eindhoven University of Technology, pp. 1–23 (1996)
2. Liu, G.J., Zhou, M.C., Jiang, C.J.: Petri net modelling and Collaborativeness for Parallel Processes with Resource Sharing and Message Passing. ACM Transactions on Embedded Computing Systems 16 (article no. 113): 1-20 (2017)
3. Liu, G.J., Liu, Y., Sun, J., Dong, J.S.: Complexity of the soundness problem of workflow nets. Fundamenta Informaticae 131: 81–101, (2014)
4. Tiplea, F.L., Bocaenealae, C., Chirosecae, R.: On the complexity of deciding soundness of acyclic workflow nets. IEEE Transactions on Systems, Man and Cybernetics: Systems 45: 1292–1298 (2015)
5. Liu, G.J.: PSPACE-completeness of the soundness problem of safe asymmetric-choice workflow nets. In: the 41st International Conference on Application and Theory of Petri Nets and Concurrency, pp. 196–216 (2020)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献