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

DOI10.1007/3-540-63139-9_28zbMATH Open1510.68072MaRDI QIDQ6487367FDOQ6487367

Authors: Robert Valette 

Publication date: 9 December 2022

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

Mathematics Subject Classification ID

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

Cites Work

• Linear logic
• Title not available (Why is that?)
• The linear abstract machine
• FROM PETRI NETS TO LINEAR LOGIC THROUGH CATEGORIES: A SURVEY
• Asymptotic continuous Petri nets
• A predicate-transition net model for parallel interpretation of logic programs
• Proof procedure and answer extraction in Petri net model of logic programs
• Analysis of a hybrid system using symbolic dynamics and Petri nets

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)