Petri nets: What are and how can help us

Speaker: Gabriel Emanuel Valenzuela

Audience level: [ Beginner ]

A Petri net is a particular type of directed bipartite graph (or digraph) together with an initial state called initial mark. It contains two types of nodes, places and transitions. The idea of this talk is to develop the essential concepts of petri nets, to demonstrate how it can be expressed mathematically and its applications in computer science.