This work is dedicated to the making and research of mobile information system. Following tasks were completed in order to tackle this problem: mobile information system processes analysis; uml modeling analysis; formal modeling methods analysis; composition of system model; system model verification.

Making electronic business systems, products of information technologies or solving real time tasks more and more IT specialists their designing work connect to UML language. The usage of this language provides opportunities to arrange documentation more simply, allows to communicate different position employees more easily, guarantee IT systems compatibility with business needs and requirements. One of the diagrams types used is activity diagram, which could be used to describe business processes, firms or its unit, compose official, activity or users instructions, show systems behaviour. Any investigative, designed or management activity at some cases is connected to modelling. Commonly designing systems, where parallel events could take place or, if necessary, to give an opportunity gradually, taking in account the reality, show events or state proceeding with the help of Petri nets. It is both graphical and mathematical design method. Designing activity diagrams of IT systems UML editors are used. To research and show events proceeding Petri nets are used. So the problem area is to compose a design system, which could transfer the elements of activity diagrams into Petri nets and model the functionality of the project. The major purpose of this study paper is to compose UML language activity diagrams modelling system, examine the functionality and design opportunities of system’s activity diagrams into Petri nets.

Siekiant maksimizuoti organizacijos pelną ir pagerinti jos veiklos rezultatus reikia efektyviai išnaudoti visus organizacijoje vykstančius verslo procesus. Tai padaryti galima naudojant įvairias verslo procesų valdymui skirtas kompiuterizuotas informacines sistemas. Projektavimo tikslas – sukurti ir aprašyti statinius ir dinaminius organizacijoje vykstančius procesus. Verslo procesams projektuoti ir analizuoti kuriant informacines sistemas, ypač jeigu jos didelės, reikia specialių projektavimo metodologijų ir priemonių, kurios šiuos procesus palengvintų, padarytų lengviau suvokiamais ir paspartintų darbą. Darbe išanalizuoti verslo procesų projektavimo būdai kuriant informacines sistemas: Petri tinklai, UML ir hibridinis Petri tinklų ir UML projektavimo metodas, pateikti jų aprašymai, savybės, galimybės. Taip pat išanalizuota organizacijose vykstantys verslo procesai. Bene daugiausia dėmesio skirta į rezultatyvumo ir žinių bei informacijos valdymo procesą, kadangi nuo jų priklauso organizacijos veiklos rezultatai. Organizacija projektuojama pradedant nuo bazinio - rezultatyvumo proceso. Todėl teorinių tyrimų aprašymo dalyje nagrinėjama pasirinkto rezultatyvumo verslo proceso projektavimas aprašytais Petri tinklų, UML bei hibridiniu metodais. Eksperimentinių tyrimų dalyje pasirinkta organizacija UAB „Proringas“, išanalizuoti joje veikiantys verslo procesai, sumodeliuotos skirtingų procesų valdymo sistemos, kurios sujungtos ir projektuotos trimis analizuojamais metodais. Metodai... [toliau žr. visą tekstą] / For maximising profit of organization and increasing its efficiency of activities must be used all business processes used in organization. The purpose of designing – to create and describe static and dynamic processes in organization. For projecting and analysing business processes while created information systems it is needed special modelling methodologies and tools that would make easier and more understandable those processes and would increase efficiency of work. There is analysed business processes design in this work while are created information systems: Petri-Net, UML and hybrid Petri-Net and UML design project methods, listed their descriptions, characteristics and possibilities. Also there are analysed business processes that take place in organization. Specialized attitude to information resources managing suppose demand of business system information, its usage and value by addressing adequate order for software. According the management position it must be coordination of data and information processing capabilities with creative person capabilities and technologies. Organization designed starting from processes and from them must be designed efficiency process. So in theoretical part it is analysed by chosen efficiency business process design described by Petri-Net and UML methods. In the part of experimental research selected organization - Joint stock company Proringas, analised business processes in it, modelled business processes that takes part in it... [to full text]

The purpose of the research is to create traffic optimal adjustment methods and algorithms based on the theory of Petri nets. To investigate the functionality of created algorithms.

Presently information systems are increasingly penetrating to our daily life. Recently it is relevant to integrate the newest technologies. In that way traditional system becomes “smart” who are more economical, optimal, and self-sufficient. The biggest problem is to make a model of “smart” system. There were analyzed modeling methods, heating and cooling control systems in this job. Mathematical model for heating and cooling controller using timed Petri nets was presented. According to analyzed problems it was made verification with Matlab during experimental phase. There was made comparison evaluation of mathematical model made with timed Petri nets and fuzzy logic.