Skip to main content

Data-Driven Maritime Processes Management Using Executable Models

  • Conference paper
  • First Online:
Computer Aided Systems Theory – EUROCAST 2017 (EUROCAST 2017)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 10672))

Included in the following conference series:

  • 1335 Accesses


In this paper we describe a decision support system for maritime traffic and operations, based on formal models and driven by data from the environment. To handle the complexity of system description, we work with a decomposition of the system to set of abstraction levels. At each level, there are specific tools for system functionality specification, respecting particular domain point of view. From the business level point of view, the system consists of processes and vehicles and facilities over those the processes are performed. From the engineering point of view, each process consists of a set of devices, that should be controlled and maintained. Software engineering point of view operates on reading and converting bytes of data, storing them into variables, arrays, collections, databases, etc. For complex trading processes management purposes we need to cover all levels of abstraction by specific description, suitable to model and automate the operations on each particular level. As a case study we use salmon farming in Norway. The system implementation is based on Reference Petri nets and interpreted by the Petri Nets Operating System (PNOS) engine. This approach brings formal foundations to the system definition as well as dynamic reconfigurability to its runtime and operation.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions


  1. Cabac, L., Duvigneau, M., Moldt, D., Rölke, H.: Modeling dynamic architectures using nets-within-nets. In: Ciardo, G., Darondeau, P. (eds.) ICATPN 2005. LNCS, vol. 3536, pp. 148–167. Springer, Heidelberg (2005).

    Chapter  Google Scholar 

  2. Girault, C., Valk, R.: Petri Nets for System Engineering: A Guide to Modeling, Verification, and Applications. Springer-Verlag, Secaucus (2001)

    MATH  Google Scholar 

  3. Keim, D., Andrienko, G., Fekete, J.-D., Görg, C., Kohlhammer, J., Melançon, G.: Visual analytics: definition, process, and challenges. In: Kerren, A., Stasko, J.T., Fekete, J.-D., North, C. (eds.) Information Visualization. LNCS, vol. 4950, pp. 154–175. Springer, Heidelberg (2008).

    Chapter  Google Scholar 

  4. Nikolopoulos, C.: Expert Systems: Introduction to First and Second Generation and Hybrid Knowledge Based Systems, 1st edn. Marcel Dekker Inc., New York (1997)

    Google Scholar 

  5. Ostermayer, L., Seipel, D.: A prolog framework for integrating business rules into java applications. In: Nalepa, G.J., Baumeister, J. (eds.) Proceedings of 9th Workshop on Knowledge Engineering and Software Engineering (KESE9) co-located with the 36th German Conference on Artificial Intelligence (KI2013), Koblenz, Germany, 17 September 2013, CEUR Workshop Proceedings, vol. 1070. (2013)

    Google Scholar 

  6. Ray, C., Grancher, A., Thibaud, R., Etienne, L.: Spatio-temporal rule-based analysis of maritime traffic. In: Third Conference on Ocean & Coastal Observation: Sensors and Observing Systems, Numerical Models and Information (OCOSS), pp. 171–178 (2013)

    Google Scholar 

  7. Richta, T., Janousek, V., Kocí, R.: Dynamic software architecture for distributed embedded control systems. In: Moldt, D., Rölke, H., Störrle, H. (eds.) Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE 2015), Including the International Workshop on Petri Nets for Adaptive Discrete Event Control Systems (ADECS 2015) A Satellite Event of the Conferences: 36th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2015 and 15th International Conference on Application of Concurrency to System Design ACSD 2015, Brussels, Belgium, 22–23 June 2015, CEUR Workshop Proceedings, vol. 1372, pp. 133–150. (2015)

    Google Scholar 

  8. Rutle, A., MacCaull, W., Wang, H., Lamo, Y.: A metamodelling approach to behavioural modelling. In: Proceedings of the Fourth Workshop on Behaviour Modelling - Foundations and Applications, pp. 5:1–5:10. BM-FA 2012. ACM, New York, NY, USA (2012).

  9. Wang, H., Zhuge, X., Strazdins, G., Wei, Z., Li, G., Zhang, H.: Data integration and visualisation for demanding marine operations. In: Oceans 2016: MTS/IEEE Oceans Conference (2016)

    Google Scholar 

Download references


This work was supported by The Ministry of Education, Youth and Sports of the Czech Republic from the National Programme of Sustainability (NPU II); project IT4Innovations excellence in science - LQ1602 and partially by the Norwegian Funds under the academic staff mobility programme (NF-CZ07-INP-5-337-2016).

Author information

Authors and Affiliations


Corresponding author

Correspondence to Tomáš Richta .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer International Publishing AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Richta, T., Wang, H., Osen, O., Styve, A., Janoušek, V. (2018). Data-Driven Maritime Processes Management Using Executable Models. In: Moreno-Díaz, R., Pichler, F., Quesada-Arencibia, A. (eds) Computer Aided Systems Theory – EUROCAST 2017. EUROCAST 2017. Lecture Notes in Computer Science(), vol 10672. Springer, Cham.

Download citation

  • DOI:

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-74726-2

  • Online ISBN: 978-3-319-74727-9

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics