Undecidability of accordance for open systems with unbounded message queues

We study asynchronously communicating open systems modeled as Petri nets with an interface. An accordance preorder describes when one open system can be safely replaced by another open system without aecting some behavioral property of the overall system. Although accordance is decidable for several behavioral properties if we assume a previously known bound on the maximal number of pending messages, we show that it is not decidable without this assumption. Keywords: Petri nets, open nets, accordance preorder, theory of computatio

SN 2005 gj: Evidence for LBV supernovae progenitors?

There has been mounting observational evidence in favour of Luminous Blue Variables (LBVs) being the direct progenitors of supernovae. Here we present possibly the most convincing evidence yet for such progenitors. We find multiple absorption component P-Cygni profiles of hydrogen and helium in the spectrum of SN 2005gj, which we interpret as being an imprint of the progenitors mass-loss history. Such profiles have previously only been detected in Luminous Blue Variables. This striking resemblance of the profiles, along with wind velocities and periods consistent with LBV's leads us to connect SN 2005gj to an LBV progenitor.Comment: Accepted as a letter to A&A, 4 pages,3 figure