Open AccessA constraint programming model for solving reachability problem in timed Petri nets
Author(s) -
YongLiang Huang,
Thomas Bourdeaud’huy,
Pierre-Alain Yvars,
Armand Toguyéni
Publication year - 2012
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - reachability , petri net , computer science , constraint programming , concurrent constraint logic programming , process architecture , stochastic petri net , reachability problem , programming language , constraint (computer aided design) , constraint logic programming , constraint satisfaction , theoretical computer science , mathematical optimization , programming paradigm , inductive programming , mathematics , artificial intelligence , functional logic programming , geometry , probabilistic logic , stochastic programming
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom