Abstract
The fundamental scientific problem of the business process management theory is to increase the efficiency of automated systems workflow synthesis and processing in order to reduce the time spent on their development, increasing the success of processing diagram models, namely the implementation of the requirements for resource constraints, functionality, financial component and deadlines, as well as improving the diagram models quality in terms of error control, narrowing the semantic gap between business process analysis and execution. The article proposes a method of translation of the diagram with one type of directed communication into the Petri inhibitor network. The results of the research represent that the approach has significant advantages over similar methods of analysis. The effectiveness of this analytical approach is proved by concrete real and relevant examples.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Markov, A.V., Romannikov, D.O.: Algorithm for automatic translation of the activity diagram into the Petri net. Rep. Acad. High. Educ. Russ. Fed. 1, 104–112 (2014)
Voevoda, A.A., Markov, A.V.: CAD methods for complex systems based on the combined use of UML-diagrams and Petri nets. Modern technologies. Syst. Anal. Model. 2(42), 110–115 (2014)
Markov, A.V.: Software development by sharing UML diagrams and Petri nets (overview). Scientific papers oft he Novosibirsk Stet Technical University 1(71), 96–131 (2013)
Chernenok, S.A., Nepomnyaschiy, V.A.: Analysis and verification of MSC-diagrams of distributed systems using expanded Petri nets. Model. Anal. Inf. Syst. 6(21), 94–106 (2014)
Ramadan, M., Elmongui, H.G., Hassan, R.: BPMN formalisation using coloured petri nets. In: Proceedings of the 2nd GSTF Annual International Conference on Software Engineering & Applications (SEA) (2011)
Fedorov, I.G.: The method of displaying the executable model of a business process on the Petri net. Stat. Econ. 4, 179–183 (2013)
Afanasyev, A.N., Voit, N.N., Ukhanova, M.E., Ionova, I.S., Epifanov, V.V.: Analysis of the design and technological workflows in a large radio-technical enterprise. Radiotechnics 6, 49–58 (2017)
Afanasyev, A.N., Voit, N.N.: Intelligent agent-based system for analysis of design work flow models. Autom. Control. Process. 4(42), 52–61 (2015)
Afanasyev, A.N., Voit, N.N., Gainullin, R.F., Brigadnov, S.I., Horodov, V.S., Sharov, O.G.: RV grammatics metacompiler. Proc. Ulyanovsk State Tech. Univ. 4(76), 48–52 (2016)
Afanasyev, A.N., Voit, N.N.: Grammar-algebraic approach to the analysis and synthesis of diagrammatic models of hybrid dynamic flows of design works. Inf. Meas. Control Syst. 12(15), 69–78 (2017)
Afanasyev, A.N., Voit, N.N., Ukhanova, M.E.: Monitoring and analysis of denotative and significative semantic errors of diagrammatic workflow models in the design of automated systems. Radiotechnics 6, 84–92 (2018)
Voit, N.N.: Methods and tools for automating workflow design. Inf. Meas. Control Syst. 11(14), 84–89 (2018)
Acknowledgements
The study was supported by the Russian Foundation for Basic Research No. 17-07-01417 and the regional support of the Russian Foundation for Basic Research, grant No. 18-47-730032.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this paper
Cite this paper
Voit, N., Kanev, D., Kirillov, S., Ukhanova, M. (2019). The Method of Translation of the Diagram with One Type Directed Links into the Inhibitor Petri Net. In: Misra, S., et al. Computational Science and Its Applications – ICCSA 2019. ICCSA 2019. Lecture Notes in Computer Science(), vol 11623. Springer, Cham. https://doi.org/10.1007/978-3-030-24308-1_45
Download citation
DOI: https://doi.org/10.1007/978-3-030-24308-1_45
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-24307-4
Online ISBN: 978-3-030-24308-1
eBook Packages: Computer ScienceComputer Science (R0)