Abstract: The author describes how he first learned about Petri Nets in graduate school, and then taught them himself at university in graduate-level courses on advanced software engineering, software specification, and software verification.
External IDs:dblp:books/sp/19/He19
Loading