Patent ID: 8010333

Claim:
A computer-implemented process, for developing and implementing a system-model (ASM) for the formal description of a real flexible production- and/or process-automation system (AS) comprised of multiple, distributed real components (HW 1 -HWN), with hardware (mechanic) and software (control), wherein for each hardware (mechanic) of the real components (HW 1 -HWN), an analyzable high-level-Petri Net model is generated via simulation processes, comprising the sequential steps of: identifying collaborative units (CAU 1 -CAUN) suitable to realize different production and/or process scenarios as autonomous basic modules based upon the hardware (mechanic) and the software (control) of the real components (HW 1 -HWN), generating a high-level-Petri net model (M 1 -MN) for each of the collaborative units (CAU 1 -CAUN) using an analytical process based upon functional analysis, wherein at least one model (M 1 -MN) of a said collaborative unit (CAU 1 -CAUN) contains the high-level-Petri net model of the hardware (mechanic) of the at least one real component (HW 1 -HWN), as a skeleton of an agent-based-control unit (ASE 1 -ASEN) which is derived from the high-level-Petri net model of said hardware (mechanic) of said real component (HW 1 -HWN), intelligence (I 1 -IN) in the form of information on autonomous behavior with respect to cooperation with other models (M 1 -MN) of collaborative units (CAU 1 -CAUN), and an interface for cooperation and collaboration with other models (M 1 -MN) of collaborative units (CAU 1 -CAUN), preparing a single catalog (K) with said models (M 1 -MN) of the collaborative units (CAU 1 -CAUN), each of said models being listed as an autonomous basic module model, wherein said single catalog (K) of said models (M 1 -MN) contains the results of a formal validation of structural and behavioral specifications of said collaborative units (CAU 1 -CAUN), assigning a set of rules (R) to said catalog (K) for the specification of interactions among said autonomous models (M 1 -MN) of the collaborative units (CAU 1 -CAUN) and for the development of the system-model (ASM) of said real collaborative system (AS), generating the desired system-model (ASM) by connecting a selection of said models (M 1 -MN) of the collaborative units as the basic module from said catalog (K), and taking a selection of said rules (R) into account, whereby the models (M 1 -MN) interact with each other over said interfaces on the basis of said selected rules (R), automatically adapting the system-model (ASM) by deriving new rules (R), taking into account model evaluation parameters for each different modeled production and/or process scenario.