In [1] GOSTELOW-VAN WEERT, it was shown that processes can be described by Petri-nets (PN). In this note we will demonstrate a way of designing programs using Petri-nets as a way of describing the desired behavior. This approach makes it possible to utilize all the theoretic knowledge developed for PN and thus provides a powerful tool for program design. In an example of this approach we show how to design a recoverable program. This design is based on a study of recoverable PN's presented in [2], [3], [4] and [5].
rnIn this note, we will not deal with the code itself, but with the structural organization of the programs. Our approach is based on an hierarchical, top-bottom, modular design. At each level a description of the desired system behavior is given. This description is then modeled by a PN and analyzed using the theory developed for PN's.
rnThis analysis allows one to check for, among other things, properties of the systems such as recoverability, proper termination, etc. These properties are inherently structural and not dependent on internal module semantics.
在[1] GOSTELOW-VAN WEERT中,表明可以用Petri-nets(PN)描述过程。在本说明中,我们将演示一种使用Petri网设计程序的方法,以描述所需的行为。这种方法可以利用为PN开发的所有理论知识,从而为程序设计提供了强大的工具。在这种方法的示例中,我们展示了如何设计可恢复程序。此设计基于对[2],[3],[4]和[5]中提出的可恢复PN的研究。 P> rn
在本说明中,我们将不处理代码本身,但是,与程序的结构组织。我们的方法基于分层的,自上而下的模块化设计。在每个级别上,给出了所需系统行为的描述。然后,此描述由PN建模,并使用针对PN的理论进行分析。 P> rn
这种分析使人们可以检查系统的属性,例如可恢复性,正确的终止等。这些属性本质上是结构性的,不依赖于内部模块的语义。 P>
Department.of Information and Computer Science, University of California, Irvine, California;
机译:离散时间系统的可恢复区域的计算和可恢复区域的稳定问题
机译:离散系统的可恢复区域的计算和可恢复区域的稳定问题
机译:受约束线性系统的可恢复区域性质和可恢复区域中的半全局稳定
机译:回收剩余潜力的“智能资产”的系统模块化管理
机译:用于装配线计划的决策支持系统:大规模生产管理系统的模块化子系统。
机译:一种新的动态体外模块化毛细管-小静脉模块化系统:盒子中的脑血管生理学
机译:经验性锰除去生物反应器的设计与运作,并集成到复合模块化系统中,用于修复和回收酸性矿山水域金属