Petri net specific topics - Githubissues

slwu89 / Orcas.jl

Operations Research with Composable, Algebraic Structure

MIT License

0 stars 0 forks source link

Petri net specific topics #4

Open slwu89 opened 1 month ago

slwu89 commented 1 month ago

[ ] Bourdeaud’huy, Thomas, Saïd Hanafi, and Pascal Yim. "Mathematical programming approach to the Petri nets reachability problem." European Journal of Operational Research 177.1 (2007): 176-197.
[ ] Bourdeaud'Huy, Thomas, et al. "Transient inter-production scheduling based on Petri nets and constraint programming." International journal of production research 49.22 (2011): 6591-6608.

slwu89 commented 2 weeks ago

BDD + PN Symbolic Scheduling of Robotic Cellular Manufacturing Systems With Timed Petri Nets