Hierarchical High Level Petri Nets for complex system analysis

1994 ◽  
pp. 119-138 ◽  
Author(s):  
Peter Buchholz
Keyword(s):  
Complex System ◽  
Petri Nets ◽  
System Analysis ◽  
High Level

NETWORK MODELS AS A SOLUTION FOR COMPLEX TECHNICAL PRODUCT`S DIAGNOSING PROBLEMS SOLVING

2019 ◽  
pp. 38-42
Author(s):  
S. Yu. Strakhov ◽  
A. A. Karasev
Keyword(s):  
Complex System ◽  
System Analysis ◽  
Network Models ◽  
Functional Testing ◽  
Formal Models ◽  
Mathematical Apparatus ◽  
Complex Technical Systems ◽  
Technical Systems ◽  
Formalized Description ◽  
Diagnostic Software

Authors explore issue of applicability of the methodology of building diagnostic software using network formal models in the functional testing of electronic equipment as part of complex technical systems. Using methods of system analysis allows to perform a decomposition of interdependent subsystems and to reveal basic acts of interaction between the control‑verification equipment and the object of diagnosis. Mathematical apparatus of Petri nets should be employed for the formalized description of such acts and determined the cause‑and‑effect relations in the diagnosed complex system`s processes. Network models properties studying (such as safety and accomplishment of the final positions) allows us to move to the test object`s algorithm`s developing. The article presents an approach of a formalized description for basic acts of interaction between the diagnosis system and the object.

Putting high-level Petri nets to work in industry

1994 ◽  
Vol 25 (1) ◽  
pp. 45-54 ◽  
Author(s):  
W.M.P. van der Aalst
Keyword(s):  
Petri Nets ◽  
High Level
Sign in / Sign up

Export Citation Format

Share Document