scientific article; zbMATH DE number 5130602

MaRDI QIDQ3424643zbMATH OpenFDO

Authors K. S. Cheung

Publication date 7 March 2007

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)

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 DE number 5994824

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)