Petri net unfoldings

Speaker: Maciej Koutny

2nd December 2005 , 1pm , Room 2.22 Beehive

Abstract

This talk will introduce and discuss the basic concepts ideas behind unfoldings of Petri nets, their finite prefixes, and verification techniques which are based on finite prefixes of net unfoldings.