[msp-interest] [MSP101] Adrián Puerto Aubel: A glance at Petri net theory (3pm Wed 24/6, LT711)

[Emma Tye]

Dear all,

We have another MSP101 seminar coming up. Hope to see you there!

Best wishes,
Emma

Date, time and place:
  Wednesday 24 June, 15:00, Livingstone Tower room LT711

Online attendance:
  https://www.youtube.com/channel/UC3IBMh699qT5wawP3nHRItg/live

Speaker:
  Adrián Puerto Aubel (Coherence Research)

Title:
  A glance at Petri net theory

Abstract:
  Petri nets are formal models of computing well-known for depicting true concurrency: Unlike automata, they overcome the state-space explosion problem by avoiding interleaving semantics. In this talk I will give an overview of the most prominent theoretical developments of more than 50 years of Petri net theory. This will range from the different expressions of formal semantics of these models as marking graphs, unfoldings, or event structures, to an overview of relevant problems defined on them and their complexities, with a particular focus on structural analysis techniques.

MSP101 Feeds:
  Web: http://msp.cis.strath.ac.uk/msp101.html
  RSS: http://msp.cis.strath.ac.uk/msp101.rss
 iCal: http://msp.cis.strath.ac.uk/msp101.ics