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 |