BEGIN:VCALENDAR
PRODID:-//eluceo/ical//2.0/EN
VERSION:2.0
CALSCALE:GREGORIAN
BEGIN:VEVENT
UID:www.tcs.tifr.res.in/event/91
DTSTAMP:20230914T125910Z
SUMMARY:Communication in Subclasses of Petri Nets
DESCRIPTION:Speaker: Kamal Lodaya\nInstitute of Mathematical Sciences\nCIT 
 Campus\nTharamani\nChennai 600 113\nhttp://www.imsc.res.\n\nAbstract: \nPe
 tri net theory has nice theorems which relate subclasses of Petri nets def
 ined 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 exhi
 bits a bounded amount of concurrency\, or whether a transition can be fire
 d\, or whether a transition can be fired from any reachable marking. We ar
 gue that these theorems can be viewed as identifying nice communication pa
 tterns between different components of the given net (joint work with Madh
 avan Mukund and Ramchandra Phawade).\n
URL:https://www.tcs.tifr.res.in/web/events/91
DTSTART;VALUE=DATE:20100528
LOCATION:A-212 (STCS Seminar Room)
END:VEVENT
END:VCALENDAR