Structured Cospans and Petri Nets

 

This talk on structured cospans and Petri nets is the second part of a two-part series, but it should be understandable on its own. The first part was on structured cospans and double categories.

Im giving this second talk at the MIT Categories Seminar. Itll be on Thursday April 9th, 12 noon Eastern Time.

You can see my talk live on YouTube here, with simultaneous discussion on the Category Theory Community Server. (To join this, click here.) The talk will be recorded and remain...