Login
Course Information
Identification

CS 735: Formal models for Concurrent and Asynchronous Systems
 
Description

1. Petri nets – Modeling and analyzing asynchronous systems using Petri nets. Decision problems related to reachability, coverability, etc. for different variants of Petri nets. Other verification related issues. Tools, implementations and case-studies.

2. Asynchronous automata and Zielonka's theorem. - partial orders, traces, diamond closure, optimal constructions.

3. Message passing automata and message sequence charts – Models for scenario based modeling of concurrent and message passing systems.

4. Lossy channel systems and generalization to the theory of well-structured transition systems. Properties of well-quasi orders, well-structured transition systems and decidability issues. Relation to Petri nets and other examples.
 
References

Understanding Petri Nets: Modeling Techniques, Analysis Methods, Case Studies by W Reisig, Springer, 2013.

Petri Nets: Properties, Analysis and Applications, Invited tutorial-survey paper by T Murata, Proceedings of IEEE, Vol 77, No.4, 1988.

Automata on Distributed Alphabets: M Mukund Modern Applications of Automata Theory, D D'Souza and P Shankar (eds), World Scientific, pp. 45-78, 2012.

Formal Models of Communicating Systems:
Languages, Automata, and Monadic Second-Order Logic by B Bollig, Springer, 2006.

Well-structured transition systems everywhere!-- Research article by A Finkel and P Schnoebelen, TCS, 2001.
 
Home Page

---
 
Prerequisites

Discrete structures, Automata theory or equivalent.
 
Other Details

Duration : Full Semester Total Credit : 6
Type : Theory
 
Current Semester (Autumn 2017-18)

Status : Not Offered Instructor : ---
 
Next Semester (Spring 2017-18)

Status : Offered Instructor : Prof. S. Akshay




Last Modified Date: 09-May-2016

Webmail

Username:
Password:
Faculty CSE IT
Forgot Password
    [+] Sitemap     Feedback