Author:
Bernardinello Luca,Lomazova Irina,Nesterov Roman,Pomello Lucia
Publisher
Springer Berlin Heidelberg
Reference22 articles.
1. van der Aalst, W.M.P.: Workflow verification: finding control-flow errors using petri-net-based techniques. In: van der Aalst, W., Desel, J., Oberweis, A. (eds.) Business Process Management. LNCS, vol. 1806, pp. 161–183. Springer, Heidelberg (2000). https://doi.org/10.1007/3-540-45594-9_11
2. Bernardinello, L., Mangioni, E., Pomello, L.: Local State Refinement and Composition of Elementary Net Systems: An Approach Based on Morphisms. In: Koutny, M., van der Aalst, W.M.P., Yakovlev, A. (eds.) Transactions on Petri Nets and Other Models of Concurrency VIII. LNCS, vol. 8100, pp. 48–70. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-40465-8_3
3. Lecture Notes in Computer Science;L Bernardinello,1992
4. Bernardinello, L., Lomazova, I., Nesterov, R., Pomello, L.: Soundness-preserving composition of synchronously and asynchronously interacting workflow net components (2020). https://arxiv.org/pdf/2001.08064.pdf
5. Berthelot, G.: Checking properties of nets using transformations. In: Rozenberg, G. (ed.) Advances in Petri Nets 1985. LNCS, vol. 222, pp. 19–40. Springer, Heidelberg (1986). https://doi.org/10.1007/3-540-18086-9
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献