scientific article; zbMATH DE number 978207

MaRDI QIDQ4332375zbMATH OpenFDO

Authors

Publication date 13 February 1997

zbMATH Keywords

deadlock free solutionmanufacturing systemsPetri nets

Mathematics Subject Classification ID

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

Recommendations

• A Petri net perspective on the resource allocation problem in software engineering
• Petri nets for the design and operation of manufacturing systems
• scientific article; zbMATH DE number 2006805
• Publication:4864009
• scientific article; zbMATH DE number 409557
• Lectures on Concurrency and Petri Nets
• Production management in a Petri net environment
• Manufacturing system modeling using Petri nets
• A Class of Well Structured Petri Nets for Flexible Manufacturing Systems

Cited in

(18)

• Algebraic method of determining nonexistence of deadlock markings in Petri nets
• Editorial: Deadlock analysis and control in resource allocation systems
• Complexity of the deadlock problem for Petri nets modeling resource allocation systems
• Shared resources in production systems: (max,+) analysis
• Matrix approach to deadlock-free dispatching in multi-class finite buffer flowlines
• A Petri net perspective on the resource allocation problem in software engineering
• scientific article; zbMATH DE number 5951866 (Why is no real title available?)
• scientific article; zbMATH DE number 5014120 (Why is no real title available?)
• Enumeration of reachable (forbidden, live and deadlock) states of kth order system of Petri nets
• The resource allocation problem in flexible manufacturing systems
• scientific article; zbMATH DE number 4045096 (Why is no real title available?)
• scientific article; zbMATH DE number 561087 (Why is no real title available?)
• scientific article; zbMATH DE number 1156812 (Why is no real title available?)
• scientific article; zbMATH DE number 2006805 (Why is no real title available?)
• Parameterized Petri nets and their application to planning and coordination in intelligent systems
• Structural methods for the control of discrete event dynamic systems -- the case of the resource allocation problem
• Lectures on Concurrency and Petri Nets
• A Class of Well Structured Petri Nets for Flexible Manufacturing Systems

This page was built for publication:

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