Petrinets: What Are They and How Can They Help Us?

Explore the world of Petri nets in this prerecorded conference talk from Meeting C++ 2022. Delve into the essential concepts of Petri nets, their mathematical expression, and applications in computer science. Learn about this directed bipartite graph type and its initial state, known as the initial mark. Discover the two node types - places and transitions - and their roles in system design. Follow the progression from introduction to design phase, graphical representation, and incident matrix. Examine events, relational marking, time tokens, and simulation techniques. Gain insights into available tools for working with Petri nets and witness practical simulations to reinforce your understanding of this powerful modeling technique.