Hi
I have noticed that deadlock states are classified by PIPE2 as vanishing (rather than tangible) and therefore are not processed by the GSPN analysis module. I wonder if this is correct. According to a paper I'm reading (Balbo, Gianfranco: Introduction to Generalized Stochastic Petri Nets, 2007), markings in which no transition is enabled are tangible (but also absorbing, causing deadlock).
2009-01-09 12:02:12 UTC in Platform Independent Petri Net Editor 2
