Behavioral Programming with Petri Nets à la Functional Way

After having worked on the Statebox language for more than one year, we as a team realized that it is quite difficult to give people an…