Abstract System safety, reliability and risk analysis are important tasks that are performed
throughout the system life-cycle to ensure the dependability of safety-critical systems …

Abstract Fault Tree Analysis (FTA) is a well-established and well-understood technique,
widely used for dependability evaluation of a wide range of systems. Although many …

随机Petri 网和系统性能评价 Page 1 Bibili Petrixx 和系统性能评价 (第2 版) 林闯著 清华大学出版
社 This One 北京 F3GD-XC4-715J . Page 2 内容简介 本书是随机Petri 网理论和技术方面的专著 …

Petri Nets–An Introduction [63] is a slim book that was published almost 30 years ago and
was quickly translated into six languages and sold several thousand copies. For a long time …

Workflow management promises a new solution to an age-old problem: controlling,
monitoring, optimizing and supporting business processes. What is new about workflow …

Over the last decade there has been a shift from “data-aware” information systems to
“process-aware” information systems. To support business processes an enterprise …

Based on a rigorous analysis of existing workflow management systems and workflow
languages, a new workflow language is proposed: yet another workflow language (YAWL) …

Formal methods for the specification and verification of hardware and software systems are
becoming more and more important as systems increase in size and complexity. The aim of …

Continuous-time Markov chains (CTMCs) have been widely used to determine system
performance and dependability characteristics. Their analysis most often concerns the …

Abstract Evaluation of operational engineering availability and maintainability is usually
considered in the detail design phase, or after installation of an engineering design. It deals …