Modeling and solving constraint satisfaction problems through Petri nets

DOI10.1007/3-540-63139-9_45MaRDI QIDQ6487383zbMATH OpenFDO

Authors Luigi Portinale

Publication date 9 December 2022

Full work available at URL https://doi.org/10.1007/3-540-63139-9_45

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• scientific article; zbMATH DE number 1234562
• Petri nets model and analysis of project problem
• Constraint satisfaction problems: Algorithms and applications
• The logic of constraint satisfaction
• scientific article; zbMATH DE number 2016109

Cites work

• Coloured Petri nets and the invariant-method
• Consistency in networks of relations
• Network-based heuristics for constraint-satisfaction problems
• Networks of constraints: Fundamental properties and applications to picture processing
• System modelling with high-level Petri nets

Cited in

(2)

• scientific article; zbMATH DE number 2016109 (Why is no real title available?)
• Approach for Transforming Linear Constraints on Petri Nets

This page was built for publication: Modeling and solving constraint satisfaction problems through Petri nets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6487383)