Tata Institute of Fundamental Research
Communication in Subclasses of Petri Nets
Seminar
Speaker:
Kamal Lodaya
Institute of Mathematical Sciences
CIT Campus
Tharamani
Chennai 600 113
http://www.imsc.res.
Date:
Friday, 28 May 2010 (all day)
Venue:
A-212 (STCS Seminar Room)
(Scan to add to calendar)
Abstract:
Petri net theory has nice theorems which relate subclasses of Petri nets defined by structural conditions -- for example T-nets (also known as marked graphs) and free choice nets -- to their behavioural properties -- such as checking, given a net together with an initial marking, whether it exhibits a bounded amount of concurrency, or whether a transition can be fired, or whether a transition can be fired from any reachable marking. We argue that these theorems can be viewed as identifying nice communication patterns between different components of the given net (joint work with Madhavan Mukund and Ramchandra Phawade).
| Speaker: | Kamal Lodaya Institute of Mathematical Sciences CIT Campus Tharamani Chennai 600 113 http://www.imsc.res. |
| Date: | Friday, 28 May 2010 (all day) |
| Venue: | A-212 (STCS Seminar Room) |
(Scan to add to calendar)
Abstract:
Petri net theory has nice theorems which relate subclasses of Petri nets defined by structural conditions -- for example T-nets (also known as marked graphs) and free choice nets -- to their behavioural properties -- such as checking, given a net together with an initial marking, whether it exhibits a bounded amount of concurrency, or whether a transition can be fired, or whether a transition can be fired from any reachable marking. We argue that these theorems can be viewed as identifying nice communication patterns between different components of the given net (joint work with Madhavan Mukund and Ramchandra Phawade).