PNSE'19
International Workshop on
Petri Nets and Software Engineering
Aachen, Germany, June 24, 2019
Invited Speaker
Petri Nets in Multi-Paradigm Modelling
Abstract:
Engineered systems today are characterized by an ever increasing complexity.
This complexity is due to a large number of heterogeneous components as well as diverse concerns such as safety and energy
efficiency by many stakeholders who develop these systems collaboratively.
Multi-paradigm Modelling (MPM) proposes to model every part and aspect of such complex systems explicitly,
at the most appropriate level(s) of abstraction, using the most appropriate modelling formalism(s).
This includes the explicit modelling of the often complex engineering workflows.
Petri Nets have proven to to be an appropriate ässembly language" for a whole class of problems.
The talk starts from simple Place/Transition nets and shows how some extra constructs are needed
to explicitly model time and fairness.
As adding these constructs to a Petri Net is not intuitive and quite cumbersome and error prone,
it is desirable to use an appropriate Domain-Specific Language (DSL) and map it onto Petri Nets.
Some examples will be given of this and other uses of Petri Nets for MPM:
a Power Window with heterogeneous components and safety requirements for analysis,
a railway system with a continuous-time component and a non-deterministic environment for co-simulation
analysis of rule-based model transformations, and enactment of workflow languages.
Bio:
Hans Vangheluwe is a Professor in the Antwerp Systems and Software Modelling (AnSyMo) group within the Department
of Mathematics and Computer Science at the University of Antwerp in Belgium, where he is a founding member of the
NEXOR Consortium on Cyber-Physical Systems (CPS).
AnSyMo is a Core Research Lab of Flanders Make, the strategic research centre for the Flemish manufacturing industry.
He heads the Modelling, Simulation and Design Lab (MSDL), distributed over the University of Antwerp and the School of Computer Science at McGill University, Montreal, Canada.
In a variety of projects, often with industrial partners, he develops and applies the model-based theory and techniques
of Multi-Paradigm Modelling (MPM) in application domains as diverse as bio-actived sludge waste-water treatment plant
design and optimization and safe automotive software.
He is the chair of the EU COST Action IC1404 "Multi-Paradigm Modelling for Cyber-Physical Systems" (MPM4CPS).
Prof. Dr. Hans Vangheluwe (Belgium)
Back to workshop page:
http://www2.informatik.uni-hamburg.de/tgi/events/pnse19/
Daniel Moldt
http://www2.informatik.uni-hamburg.de/tgi/events/pnse19/
Impressum