Implementation of support for a multi-type flow of requests in the payment card processing server model in the form of a petri net and its validation. - B. A. Tshukin; V. V. Klimov; I. D. Sokolov (BICA*AI, 2020)