Due to ongoing uncertainty about future travel caused by COVID-19, ICSOC’2020 is monitoring the situation and will consider adequate arrangements for the presentations of accepted papers as the situation evolves. We will update this information on a regular basis.

Prof. Dr. Wolfgang Reisig

HERAKLIT: modeling large computer-integrated systems

Wolfgang Reisig, Humboldt-University Berlin, Germany

Keynote Abstract

HERAKLIT is an initiative that aims at an integrated infrastructure to model large computer-integrated systems (such as business processes and cyber-physical systems) more intuitively, more meaningful and more usable than with previous modeling techniques.

We present a comprehensive case study to exemplify how HERAKLIT

  • copes with composition, refinement etc. of really large systems, by means of a universal, yet expressive and technically simple composition operator;
  • models behavior of composed modules, avoiding the notion of global states, that is unrealistic and inadequate for large systems
  • covers single instances of data, conventional data structures, as well as schematic representations of variants of data structures.


Wolfgang Reisig is a full professor (em) at the Computer Science Institute of Humboldt-Universitaet zu Berlin, Germany.

Prof. Reisig was a senior research at the International Computer Science Institute (ICSI) in Berkeley, California in 1997, got the “Lady Davis Visiting Professorship” at the Technion, Haifa (Israel), the Beta Chair of Technical University of Eindhoven, and twice received an IBM Faculty Award for his contribution to Cross-organizational Business Processes and the Analysis of Service Models. He has been the speaker of a PhD school on Service Oriented Architectures, 2010 – 2017.

Prof. Reisig is a member of a member of the European Academy of Sciences, Academia Europaea. He published and edited numerous books and articles on Petri Net Theory and Applications. He is a Member of the Petri Net Conference Steering Committee since 1982 and a co-editor of the journal „Software and Systems Modeling“.