A METHOD AND AN APPARATUS FOR ANALYZING A STATE BASED SYSTEM MODEL

Henrik Leerberg; Henrik Hulgaard; Jørn Lind-Nielsen; Henrik Reif Andersen; Kåre Kristoffersen; Kim G. Larsen; Gerd Behrmann

A METHOD AND AN APPARATUS FOR ANALYZING A STATE BASED SYSTEM MODEL

Henrik Leerberg (Inventor), Henrik Hulgaard (Inventor), Jørn Lind-Nielsen (Inventor), Henrik Reif Andersen (Inventor), Kåre Kristoffersen (Inventor), Kim G. Larsen (Inventor), Gerd Behrmann (Inventor)

Research output: Patent

Abstract

The invention relates to a method of analyzing a state based system model comprising a set of machines (M1, .., Mn), said machines each comprising at least one possible state (pS1Mi, .., pSkMi), each machine being in one of its comprised states at any given time, the dynamic behavior of said machines (M1, .., Mn) being defined by predefined transitions between said states of each machine (M1, .., Mn) and dependencies (D) between said machines (M1, .., Mn). One of many important advantages of the invention is that many analyses of real-life state based system models can be performed without evaluation of a considerable amount of machines in the system model.

Original language	English
Patent number	WO1999050746
Filing date	07/10/1999
Country/Territory	International Bureau of the World Intellectual Property Organization (WIPO)
Publication status	Published - 1999

OpenUrl availability

Full text

Cite this

@misc{8f1afdbeb93a44eab6fb703ea8b7f33f,

title = "A METHOD AND AN APPARATUS FOR ANALYZING A STATE BASED SYSTEM MODEL",

abstract = "The invention relates to a method of analyzing a state based system model comprising a set of machines (M1, .., Mn), said machines each comprising at least one possible state (pS1Mi, .., pSkMi), each machine being in one of its comprised states at any given time, the dynamic behavior of said machines (M1, .., Mn) being defined by predefined transitions between said states of each machine (M1, .., Mn) and dependencies (D) between said machines (M1, .., Mn). One of many important advantages of the invention is that many analyses of real-life state based system models can be performed without evaluation of a considerable amount of machines in the system model.",

author = "Henrik Leerberg and Henrik Hulgaard and J{\o}rn Lind-Nielsen and Andersen, {Henrik Reif} and K{\aa}re Kristoffersen and Larsen, {Kim G.} and Gerd Behrmann",

year = "1999",

language = "English",

type = "Patent",

note = "WO1999050746",

}

TY - PAT

T1 - A METHOD AND AN APPARATUS FOR ANALYZING A STATE BASED SYSTEM MODEL

AU - Leerberg, Henrik

AU - Hulgaard, Henrik

AU - Lind-Nielsen, Jørn

AU - Andersen, Henrik Reif

AU - Kristoffersen, Kåre

AU - Larsen, Kim G.

AU - Behrmann, Gerd

PY - 1999

Y1 - 1999

N2 - The invention relates to a method of analyzing a state based system model comprising a set of machines (M1, .., Mn), said machines each comprising at least one possible state (pS1Mi, .., pSkMi), each machine being in one of its comprised states at any given time, the dynamic behavior of said machines (M1, .., Mn) being defined by predefined transitions between said states of each machine (M1, .., Mn) and dependencies (D) between said machines (M1, .., Mn). One of many important advantages of the invention is that many analyses of real-life state based system models can be performed without evaluation of a considerable amount of machines in the system model.

AB - The invention relates to a method of analyzing a state based system model comprising a set of machines (M1, .., Mn), said machines each comprising at least one possible state (pS1Mi, .., pSkMi), each machine being in one of its comprised states at any given time, the dynamic behavior of said machines (M1, .., Mn) being defined by predefined transitions between said states of each machine (M1, .., Mn) and dependencies (D) between said machines (M1, .., Mn). One of many important advantages of the invention is that many analyses of real-life state based system models can be performed without evaluation of a considerable amount of machines in the system model.

M3 - Patent

M1 - WO1999050746

Y2 - 1999/10/07

ER -

A METHOD AND AN APPARATUS FOR ANALYZING A STATE BASED SYSTEM MODEL

Abstract

OpenUrl availability

Fingerprint

Cite this