Some issues about Petri net application to manufacturing and process supervisory control

DOI10.1007/3-540-63139-9_28MaRDI QIDQ6487367zbMATH OpenFDO

Authors Robert Valette

Publication date 9 December 2022

Full work available at URL https://doi.org/10.1007/3-540-63139-9_28

Mathematics Subject Classification ID

Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Production models (90B30) Control/observation systems involving computers (process control, etc.) (93C83)

Recommendations

• Petri nets for the design and operation of manufacturing systems
• Manufacturing system modeling using Petri nets
• Petri net models of flexible and automated manufacturing systems: a survey
• Introduction to Petri nets
• Lectures on Concurrency and Petri Nets

Cites work

• A predicate-transition net model for parallel interpretation of logic programs
• Analysis of a hybrid system using symbolic dynamics and Petri nets
• Asymptotic continuous Petri nets
• FROM PETRI NETS TO LINEAR LOGIC THROUGH CATEGORIES: A SURVEY
• scientific article; zbMATH DE number 125887 (Why is no real title available?)
• Linear logic
• Proof procedure and answer extraction in Petri net model of logic programs
• The linear abstract machine

This page was built for publication: Some issues about Petri net application to manufacturing and process supervisory control

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