First Keynote Speaker Prof. Dr. Alexander Kostin gave his speech.

First Keynote Speaker Prof. Dr. Alexander Kostin gave his speech.

Alexander E. Kostin received his BS degree in electrical engineering from Ryazan Radiotechnical Institute (Technical University), Ryazan, Russia, a PhD in computer engineering from Moscow Engineering-Physical Institute (Technical University), Moscow, and a DSc degree in computer science from Moscow Institute of Electronic Technology (Technical University), Moscow. Up to 1995, he worked as Associate Professor and then as Professor in the Department of Computer Engineering at Moscow Institute of Electronic Technology – Technical University. Since 1995, he has been working as Associate Professor and then Professor in the Department of Computer Engineering of Eastern Mediterranean University, Famagusta, Cyprus. As a university professor, he prepared a variety of courses in computer science and computer engineering, including "Mathematical Foundations of Cybernetics", "System Simulation", "Systems Programming", "Computer Networks", "Network and Distributed Systems", “Internet Architecture and Protocols”. His research and professional interests include computer systems analysis, distributed systems and their modeling and simulation, Petri nets and their extensions, advanced simulation systems. He is an author or co-author of six textbooks for students, of over one hundred of other works, including papers in journals and conference proceedings, and surveys of computer science and computer engineering books in English and German languages. His biographical information is published in Marquis Who’s Who in the World, 23rd ed., 2006, and in S.Rains (ed.), “2000 Outstanding Intellectuals of the 21st Century”, Ed. 5, Melrose Press, 2009.

Extended Petri nets for modeling and simulation of information systems
There are a number of specific theoretical methods and frameworks available for a formalized description, modeling and investigation of complex information systems. These methods and frameworks include, but are not limited to finite state machines (FSM), queuing networks, the communicating sequential processes (CSP) model, the calculus of communicating systems (CCS), the temporal logic, and Petri nets. An efficient theoretical framework for information systems should have simple means to express different aspects related to the parallelism of events and processes, their synchronization, properties of safety and liveness, and the formal methods to prove these properties. The framework should give the possibility to perform the analysis of reachable states in such systems considered as discrete-event systems. Finally, the required framework must provide a graphical representation and description of system models and their components and be supported by corresponding tools for designers. All these capabilities are available in Petri nets that originally have been proposed by a German scientist Karl Petri in 1962. These nets are considered as general or classical Petri nets. In this presentation, initially general information is given about classical Petri nets. Unfortunately, general Petri nets do not represent a universal algorithmic system and therefore cannot be used for simulation of dynamic systems. The impossibility of the use of general Petri nets for simulation purposes gave rise to the development of their different extensions such as Petri nets with inhibitor arcs, timed Petri nets, stochastic Petri nets, colored Petri nets, predicate/transition Petri nets that allow for both qualitative and quantitative analyses. In this presentation, I will concentrate on a class of extended Petri nets (EPN) that has been developed by our research group in Moscow since 1978, implemented in the form of a few versions of simulation system and used in a number of published papers and MS and PhD theses in Moscow, EMU and GAU. After explanation of the concept of elementary net, the basic set of elementary nets is introduced. This set is sufficient to build models of dynamic systems of any complexity. The use of extended Petri nets is illustrated with a few examples of solved models of queuing systems. A brief information is given about the simulation system Winsim that implements all stages of the development and running of models in terms of extended Petri nets. A reference to our book is given that contains detailed information about extended Petri nets, software of Winsim and numerous examples of solved simulation models.