Optimal trajectory generation for Petri nets

MaRDI QIDQ5475615zbMATHFDO

Authors Szilvia Gyapay, András Pataricza

Publication date 27 June 2006

zbMATH Keywords

Petri netssystem design

Mathematics Subject Classification ID

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

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

Cited in

(1)

• scientific article; zbMATH DE number 562250 (Why is no real title available?)

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)