Skip to Main Content
This paper describes a sequence of two graduate courses devoted to Software Engineering of Parallel and Distributed Systems (SEPDS) in a software-oriented graduate computer science curriculum. We apply a model-based integrated approach using Petri nets. Two main objectives of these courses are: to present Petri nets as a model to specify, verify, validate, and evaluate performance of PDSs, and to show examples of Petri nets applications to development of PDSs. Software tools such as: Design/CPN, Great GSPN, UltraSAN are utilized.