Quantitative Formal Modeling and Worst-Case Performance Analysis Course
by Coursera
Learn quantitative formal modeling, Petri-nets, and worst-case performance analysis for theoretical computer science applications.
Why this course
- Develops strong theoretical foundations in formal system modeling
- Teaches powerful mathematical tools like prefix orders and counting functions
- Provides hands-on experience with Petri-nets for concurrency modeling
- Cultivates rigorous abstract thinking applicable to advanced CS research
