Advanced Course: Petri Nets 1986

(Part I)

Section 6: Net Tools

Section 7: Application of Nets

Section 8: Relationship to other Models of Concurrency

Epilogue

Acknowledgement: The information on this page was contributed by Hendrik Jan Hoogeboom
a service of Schloss Dagstuhl - Leibniz Center for Informatics