Potential reachability in commutative nets

Annual Linux Symposium 2006

Christoph Schneider ; Joachim Wehler

Others  :  http://CEUR-WS.org/Vol-26/wehler.pdf
PID  :  971

来源: CEUR

【 摘 要 】

Potential reachability is a question about the linear structure of Petri nets. We provea criterion for the solvability of the state equation in the case of commutative coloured nets.The proof relies on methods from commutative algebra and number theory. It generalizes thewell-known criterion for potential reachability over Z for p/t nets .