Mathematical programming approach to the Petri nets reachability problem
type: Item
instance of: scholarly article
title: Mathematical programming approach to the Petri nets reachability problem
zbMATH Open document ID: 1102.90008
author: Thomas Bourdeaud'huy
author: Saïd Hanafi
author: Pascal Yim
published in: European Journal of Operational Research
publication date: 2006-12-07T00:00:00Z
Mathematics Subject Classification ID: 90B10
Mathematics Subject Classification ID: 90C30
Mathematics Subject Classification ID: 68Q80
zbMATH DE Number: 5078475
zbMATH Keywords: Petri nets
zbMATH Keywords: reachability problem
describes a project that uses: INA
MaRDI profile type: Publication
full work available at URL: j.ejor.2005.10.060
OpenAlex ID: W1996191241
cites work: Q3773358
cites work: Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
cites work: Q3694702
cites work: Q4023496
cites work: Formal verification of parallel programs
cites work: Parallel program schemata
cites work: Q4535180
cites work: Q3771634
cites work: Q4040299
cites work: Q4471845
cites work: Q4247289
cites work: Q4220896
DOI: 10.1016/J.EJOR.2005.10.060
description: scientific article; zbMATH DE number 5078475