Author:
Czopik Jan,Košinár Michael Alexander,Štolfa Jakub,Štolfa Svatopluk
Publisher
Springer International Publishing
Reference20 articles.
1. Aalst, W.M.P., van der Hee, K.M., van Houben, G.J.: Modeling Workflow Management Systems with High-Level Petri-Nets. In: De Michelis, G., Ellis, C., Memmi, G. (eds.) Proceedings of the Second Workshop on Computer-Supported Cooperative Work, Petri nets and Related Formalisms, pp. 31–50 (1994)
2. Aalst, W.M.P.: The Application of Petri Nets to Workflow Management. The Journal of Circuits, Systems and Computers 8(1), 21–66 (1998)
3. Allemang, D., Hendler, J.: Semantic Web for the Working Ontologist: Effective Modeling in RDFS and OWL (2008)
4. Brooks, F.P.: No Silver Bullet - Essence and Accidents of Software Engineering (reprinted form information processing 86, 1986). Computer 20(4), 10–19 (1987)
5. Czopik, J., Kosinar, A.M., Stolfa, J., Stolfa, S.: Formalization of Software Process Using Intuitive Mapping of UML Activity Diagram to CPN. Paper presented at the Proceedings of the 5th International conference on Innovations in Bio-Inspired Computing and Applications, Ostrava (2014)
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Formal modeling and verification of UML Activity Diagrams (UAD) with FoCaLiZe;Journal of Systems Architecture;2021-03
2. Formalizing and Verifying UML Activity Diagrams;Communications in Computer and Information Science;2019
3. Introduction to Integration of the Process Mining to the Knowledge Framework for Software Processes;Proceedings of the Second International Afro-European Conference for Industrial Advancement AECIA 2015;2016
4. Software Process Resource Utilization Simulation Using CPN;Proceedings of the Second International Afro-European Conference for Industrial Advancement AECIA 2015;2016