A Petri net (also known as a place/transition net or P/T net) is one of several mathematical modeling languages for the descr iption of distributed systems. A Petri net is a directed bipartite graph, in which the nodes represent transitions (i.e. ev
作者Paul C Jorgensen在他最新的作品中，以他娴熟的工匠的方法来掌握基于模型的测试（MBT）。要成为MBT的专家，软件测试者必须将其理解为工艺，而不是艺术。这意味着测试员应该深入了解基础课题，并在进行建模和测试技术方面进行良好的实践。需要判断，以及了解MBT的工具。 本书的第一部分帮助测试人员制定了这一判断。它从MBT的概述开始，并且深入处理了九个不同的测试模型，其中有一章专门针对每个模型。这些章节通过一对例子相结合：简单的保险费计算和描述车库门控制器的事件驱动系统。该书显示了更简
