English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Plus monthly

Global: Zendy Tools annual

Global: Zendy Tools monthly

Global: Zendy Free Plan

The development of cyber-physical production systems (CPPSs) as the core of intelligent manufacturing systems facilitates frequent changes in product variants and batches, dynamic configurations of processing resources and relevant parameters during customized manufacturing. Production prediction, scheduling, and optimization in such a complex system require a consolidated theoretical foundation. Formal techniques, as one of the critical enablers toward this end, can be used to detect and analyse malfunctions in a CPPS based on product information before starting production. However, the inconsistency of information terminology during the interaction between heterogeneous production system components may lead to semantics-level ambiguities during the formal modelling process. This paper proposes a formal modelling framework for CPPS based on mathematical definitions of the unified ‘Product-Process-Resource’ concept. A factory formal model language (FFML) is defined and applied to the modelling of a real-world production scenario. The applicability and accuracy of the proposed framework are verified by transforming constructed formal models to coloured Petri-nets for simulations. The verification results have a certain guiding significance to the layout design and scheduling strategy decisions of production lines.

A product-process-resource based formal modelling framework for customized manufacturing in cyber-physical production systems