Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
My Menu
Saved Items

Petri Net Theory — Problems Solved by Commutative Algebra

Christoph SchneiderContact Information and Joachim WehlerContact Information

(6)  cke-schneider.de data service, Paul Robeson Straße 40, D-10439 Berlin, Germany
(7)  Döllingerstraße 35, D-80639 München, Germany
Abstract
The paper deals with the computation of flows in coloured nets and with the potential reachability of markings over the integers in p/t nets. We introduce Artin nets as a subclass of coloured nets, which can be handled by methods from Commutative Algebra. As a first result we develop an algorithm for the explicit computation of flows in Artin nets, which is supported by existing tools. Concerning reachability in p/t nets we prove a refined rank condition as a second result.

Keywords  Coloured Petri net - Artin net - commutative net - flow - reachability - Gröbner theory


Contact Information Christoph Schneider
Email: info@cke-schneider.de

Contact Information Joachim Wehler
Email: wej@softlab.de
Fulltext Preview (Small, Large)
Image of the first page of the fulltext

References secured to subscribers.



Export this chapter
Export this chapter as RIS | Text
 
Referenced by
1 newer article

  1. Murugavel, A.K. (2003) Petri net modeling of gate and interconnect delays for power estimation. IEEE Transactions on Very Large Scale Integration (VLSI) Systems 11(5)
    [CrossRef]
Remote Address: 38.107.191.106 • Server: mpweb08
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)