Constraint Satisfaction mit Petri-Netzen

6th Workshop AWPN-99

计算机科学;社会科学（总论）

Rudolf J. Kruse ; Kurt Lautenbach

Others  :  http://CEUR-WS.org/Vol-26/kruse.pdf
PID  :  20818

来源: CEUR

【 摘 要 】

Ein Constraint Satisfaction Problem (CSP) besteht aus Variablen, Wertebereichen und Constraints, die die Belegungskombinationen der Variablen einschränken.Wir zeigen, wie man CSPs mit Hilfe von Pr/T-Netzen modellieren und lösen kann. In den verwendeten Netzen gibt es neben den konventionellen Stellenmarken Transitionsmarken, die sich entgegen der Kantenrichtung bewegen, wenn Stellen schalten. Auch wenn es offensichtliche Parallelen zwischen den Prozessen in diesen Pr/T-Netzen und den CSP-Lösungsprozessen gibt, sind grundlegende Unterschiede zwischen den beiden Paradigmen zuüberwinden.