Optimal trajectory generation for Petri nets

zbMATH Open1105.68085MaRDI QIDQ5475615FDOQ5475615

Szilvia Gyapay, András Pataricza

Publication date: 27 June 2006

Recommendations

• Optimal legal firing sequence of Petri nets using linear programming
• Mathematical programming approach to the Petri nets reachability problem
• Extensions to the CEGAR approach on Petri nets
• Optimal reachability in cost time Petri nets
• scientific article; zbMATH DE number 1820092

zbMATH Keywords

Petri netssystem design

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited In (1)

• Title not available (Why is that?)

This page was built for publication: Optimal trajectory generation for Petri nets

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