scientific article; zbMATH DE number 5130602

zbMATH Open1107.93017MaRDI QIDQ3424643FDOQ3424643

Authors: K. S. Cheung 

Publication date: 7 March 2007

Title of this publication is not available (Why is that?)

Recommendations

• Synthesis of resources sharing
• Specification and design of shared resource arbitration
• A Synthesis Algorithm for Hybrid Systems
• scientific article; zbMATH DE number 7278100
• A SYSTEM THEORETICAL APPROACH TO RESOURCE ALLOCATION PROBLEMS
• scientific article

zbMATH Keywords

Petri netsystem synthesisaugmented marked graphshared-resource system

Mathematics Subject Classification ID

Nonnumerical algorithms (68W05) Structural characterization of families of graphs (05C75) Synthesis problems (93B50)

Cited In (1)

• Property-preserving subnet reductions for designing manufacturing systems with shared resources

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 Q3424643)