Petri net project

Stream: new members

[Daniel Dávalos]

Hi everyone, this is my first time here. I'm a student of Computer Science in Argentina, I'm taking the course proof assistants and formalization of mathematics at the National University of Cordoba. We need to formalize a theory, and I want to do it about Petri nets in Lean.
I'm starting to learn Lean, what recommendations could you give me?