Ioana Leahu

Learn More
A Petri net is confluent if its firing relation is confluent, i.e., for any two reachable markings there exists a marking reachable from both of them. We prove that confluence is a decidable property for Petri nets and it is preserved by asynchronous parallel composition. Applications to Petri net structural transformations and term rewriting systems are(More)
  • Ioana Leahu
  • 2010 12th International Symposium on Symbolic and…
  • 2010
The paper proposes a linear algebraic based approach to finding a set of home markings in a bounded and live Equal Conflict System. Our algorithm is based on the theory of T-invariants, controlled-siphons and traps. The idea is to decompose the initial net in a certain subset of T-components, which are Choice-Free nets, find a set of live and potentially(More)
  • 1