CPN tools-assisted simulation and verification of nested Petri nets

Dworzański, Leonid W.; Lomazova, Irina A.

doi:10.3103/s0146411613070201

Cited by 12 publications

(5 citation statements)

References 14 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Вложенные сети [2], [3] позволяют расширить возможности основной сети и найти решения конфликтных ситуаций на стадии моделирования. Вложенные сети Петри работают автономно и взаимодействуют с основной сетью.…”

Section: методы и материалы (Methods and Materials)unclassified

“…На основе этой модели строится алгоритм выбора ППО технологической линии. Модель работы МГФ рассматривалась и в работах [3], [4], что свидетельствует об актуальности данного аспекта работы порта. В работе [4] Основными данными в процессе технологического проектирования МГФ являются количество планируемых судозаходов и судовых технологических операций: судно -склад, судно -автотранспорт, судно -судно и в обратном порядке.…”

Section: методы и материалы (Methods and Materials)unclassified

See 1 more Smart Citation

Model for Selecting the Port Cargo Handling Equipment on the Basis of Modeling the Port Technological Line

Zub¹,

Shipping²,

Ezhov³

et al. 2020

Vestnik GUMRF imeni admirala S. O. Makarova

View full text Add to dashboard Cite

The issue of introducing a quality criterion by the port to ensure competitiveness in the market of loading and unloading services is considered in the paper. It is noted that the quality criteria can be provided if the characteristics of the port handling equipment correspond to the calculated data on performance and reliability. It is emphasized that the formation of a fleet of port handling equipment (optimization), which is necessary after identifying "weak" points in the operation process, is a key task of port management. Cargo turnover, cost of technological processes, port capacity and warehouse capacity depend on the port handling equipment (various technological schemes of port operation depend on the equipment). In order to determine the economic effect of the introduction of new technological solutions or technical re-equipment, expressed in complete or partial replacement of the port handling equipment fleet, not only the costs of purchasing new equipment, the costs associated with changing the loading and unloading technology, but also the operating costs of maintaining the port handling equipment in working order are taken into account. The choice of port handling equipment is a task on which the economic performance of the port depends. To select the port reloading equipment, a model of the operation of the technological line, built on the basis of the Petri net apparatus, is considered. This model formalizes the process of functioning the technological line and models logical connections between events. The model of functioning the port technological line considers solutions to conflict situations, the analysis of which shows that they are related to the technical condition of the port handling equipment fleet, its performance and technical conditions. It is concluded that the combination of solutions to conflict situations affects the economic efficiency of the port. The obtained simulation data are taken into account when selecting the port handling equipment. Based on the obtained performance data of port cargo handling equipment fleet, the annual cargo turnover of the port is planned and the main characteristics of the service quality (speed of vehicle service, average waiting time of vehicle service) are identified.

show abstract

Section: методы и материалы (Methods and Materials)unclassified

Model for Selecting the Port Cargo Handling Equipment on the Basis of Modeling the Port Technological Line

Zub¹,

Shipping²,

Ezhov³

et al. 2020

Vestnik GUMRF imeni admirala S. O. Makarova

View full text Add to dashboard Cite

show abstract

“…Semantic composition takes into account the meaning and purpose of services. Machines can automatically select, create and execute web services to achieve a specified task in accordance with user constraints [5,25], [26]. Semantic composition is achieved based on the semantic description of web services that support the creation of an ontology to define various aspects of the functioning of web services.…”

Section: Analysis Of Literature Data and Statement Of The Problemmentioning

confidence: 99%

Method for developing and modelling composite web-services

Gozhyj,

Kalinina,

Gozhyj

2022

HAIT

View full text Add to dashboard Cite

The article describes a method for developing and modelling composite web-services. Web-service composition is used to derive new functionality from the interaction of existing web-services. Composite web-services are built in several stages: specifications (determining the type of service); development of the structure of the service based on the algebra of services; service composition modelling; selecting a service variant and generating a service. The main elements of the proposed approach are the algebra of services and web-services interaction models (basic and composite). The above approach formally presents the consideration of the main aspects in solving problems related to the construction of effective composite web-services and the selection of mathematical models, namely: description of web-services, determining the structure of web-services, taking into account the dynamics of information changes, taking into account the main uncertainties in building the structure web-services. Based on the approach, a method for constructing composite web-services has been developed. The method is based on an algebraic description of a web-service based on a specialized algebra of services. The method consists of the following steps: description of the task of developing a web-service; development of the structure of a web service based on the algebra of services; formal description of the structure and clarification of service operations; building models of functioning and interaction of service components; building simulation models of the composite service; defining the final structure of the composite service; web-service implementation. The main tool for describing composite services is the algebra of services, and the model building tool is colouredPetri nets implemented using СPN Tools. As an example of the application of the developed method, the construction of a pharmaceutical service is described, in which the modellingof the interaction of web-services based on Petri nets is used. The process of building a composite model of a web-service is considered. The process begins with building a pharmaceutical web-service model structure based on the service algebra. Based on the service algebra, operators were developed to implement composite services. The structure of the model is developed, which is presented in the form of a formal description. The process of building pharmaceutical service models in the СPN Tools environment is described in detail.

show abstract

“…The CPN's are one of the extensions to PN's [9,17,[35][36][37][38][39][40][41][42], which allow the construction of compact representations of big models. In this section, basic notions of CPN are presented.…”

Section: Colored Petri Netsmentioning

confidence: 99%

“…This environment allows editing, simulating and analyzing CPN models [36][37][38][39][40][41][42] and was successfully used for a variety of applications areas [44][45][46][47][48].…”

Section: Simulation Of the Cpn Modelmentioning

confidence: 99%

Modeling and Simulation of Task Allocation with Colored Petri Nets

Alcaraz-Mejia¹,

Campos-Rodríguez²,

MarcoCaballero-Gutierrez³

2017

Computer Simulation

View full text Add to dashboard Cite

The task allocation problem is a key element in the solution of several applications from different engineering fields. With the explosion of the amount of information produced by the today Internet-connected solutions, scheduling techniques for the allocation of tasks relying on grids, clusters of computers, or in the cloud computing, is at the core of efficient solutions. The task allocation is an important problem within some branch of the computer sciences and operations research, where it is usually modeled as an optimization of a combinatorial problem with the inconvenience of a state explosion problem. This chapter proposes the modeling of the task allocation problem by the use of Colored Petri nets. The proposed methodology allows the construction of compact models for task scheduling problems. Moreover, a simulation process is possible within the constructed model, which allows the study of some performance aspects of the task allocation problem before any implementation stage.

show abstract

CPN tools-assisted simulation and verification of nested Petri nets

Cited by 12 publications

References 14 publications

Model for Selecting the Port Cargo Handling Equipment on the Basis of Modeling the Port Technological Line

Model for Selecting the Port Cargo Handling Equipment on the Basis of Modeling the Port Technological Line

Method for developing and modelling composite web-services

Modeling and Simulation of Task Allocation with Colored Petri Nets

Contact Info

Product

Resources

About