Conference paper

RICHTA Tomáš and JANOUŠEK Vladimír. Data-Driven Maritime Processes Management Using Dynamically Reconfigurable Executable Models. In: Computer Aided Systems Theory - EUROCAST 2017. Berlin Heidelberg: Springer Verlag, 2017, pp. 1-10. ISBN 978-3-642-53855-1.
Publication language:english
Original title:Data-Driven Maritime Processes Management Using Dynamically Reconfigurable Executable Models
Title (cs):Daty řízený management námořních procesů využívající dynamicky rekonfigurovatelné spustitelné modely
Proceedings:Computer Aided Systems Theory - EUROCAST 2017
Conference:Sixteenth International Conference on Computer Aided Systems Theory
Place:Berlin Heidelberg, DE
Publisher:Springer Verlag
Reference Petri Nets, dynamic reconfigurability, executable models, model-driven development, formal specifications
Maritime processes as well as the other logistics-based processes are strongly connected with the mechanical devices they operate on, as well as people involved. Typical operational issues like vessel management, berthing process, cargo loading, etc., as well as the whole predictability of the process fulfilment therefore strongly depends on the processes automation means used. Some of the recent approaches utilise the BPMN processes description for more precise and predictable management of processes. Nevertheless these approaches lack a deeper coverage of technical resources used within the process tasks fulfilment. This paper aims to describe the usage of distributed control system architecture based on Reference Petri Nets models for logistics processes management and decision support. The architecture is based on Reference Petri Nets model covering the service layer of process management, which is used by the BPMN models. System model model consists of the set of involved nodes and their detailed logical functionality description and communication channels. According to predefined set of rules the Reference Petri Nets executable model is generated from the system Specification. This model could be used for the logistics process simulation and estimation, as well as translated into the interpretable Petri Nets bytecode that could be dynamically installed on any node of the system for controlling its functionality. When there are some changes within the model later, they are converted to produce new versions of particular bytecode representing the partial functionality of involved nodes. The important features of described approach are formally precise while human readable description of each layer of the system functionality and the dynamic reconfigurability of target system behaviour during its runtime.
   author = {Tom{\'{a}}{\v{s}} Richta and Vladim{\'{i}}r
   title = {Data-Driven Maritime Processes Management Using
	Dynamically Reconfigurable Executable Models},
   pages = {1--10},
   booktitle = {Computer Aided Systems Theory - EUROCAST 2017},
   year = {2017},
   location = {Berlin Heidelberg, DE},
   publisher = {Springer Verlag},
   ISBN = {978-3-642-53855-1},
   language = {english},
   url = {}

Your IPv4 address:
Switch to https

DNSSEC [dnssec]