Mathematical programming approach to the Petri nets reachability problem

DOI10.1016/J.EJOR.2005.10.060MaRDI QIDQ856211zbMATH OpenOpenAlexFDO

Authors Thomas Bourdeaud'huy, Saïd Hanafi, Pascal Yim

Publication date 7 December 2006

Published in European Journal of Operational Research (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.ejor.2005.10.060

zbMATH Keywords

Petri netsreachability problem

Mathematics Subject Classification ID

Deterministic network models in operations research (90B10) Nonlinear programming (90C30) Cellular automata (computational aspects) (68Q80)

Recommendations

• Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
• Reachability determination in acyclic Petri nets by cell enumeration approach
• Integer linear programming and the analysis of some Petri net problems
• scientific article; zbMATH DE number 2112159
• An Algorithm for the General Petri Net Reachability Problem

Cites work

• scientific article; zbMATH DE number 3919829 (Why is no real title available?)
• scientific article; zbMATH DE number 4031001 (Why is no real title available?)
• scientific article; zbMATH DE number 4033100 (Why is no real title available?)
• scientific article; zbMATH DE number 107927 (Why is no real title available?)
• scientific article; zbMATH DE number 193499 (Why is no real title available?)
• scientific article; zbMATH DE number 1228291 (Why is no real title available?)
• scientific article; zbMATH DE number 1302046 (Why is no real title available?)
• scientific article; zbMATH DE number 2079763 (Why is no real title available?)
• scientific article; zbMATH DE number 1755146 (Why is no real title available?)
• Formal verification of parallel programs
• Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
• Parallel program schemata

Cited in

(8)

• Modeling, reachability and controllability of bounded Petri nets based on semi-tensor product of matrices
• scientific article; zbMATH DE number 6845563 (Why is no real title available?)
• Integer linear programming and the analysis of some Petri net problems
• Macro liveness graph and liveness of -independent unbounded nets
• Petri net representation and reachability analysis of 0--1 integer linear programming problems
• Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
• On reachability graphs of Petri nets
• Optimal trajectory generation for Petri nets

Describes a project that uses

Uses Software

• INA

This page was built for publication: Mathematical programming approach to the Petri nets reachability problem

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