Technical Report No. CS--TR--89--03, pages 1-27 pp.. University of Central Florida, Orlando (USA), Department of Computer Science, 1989.
Also as: Technical Report No. CS--TR--89--11, pages 1-26 pp.. University of Central Florida, Orlando (USA), Department of Computer Science, 1989. Changed title: Petri Nets in the Software Development Process.
Abstract: The authors present the concept of abstract Petri nets and an application to software design techniques and illustrate this technique by designing a solution to the `heating system problem'. The authors first design the heating system using Petri nets with inhibitor arcs. The same problem is then modeled by abstract Petri nets. In both cases, a complete solution is obtained by first designing subnets for each action and then combining all subnets together. A systematic approach is used in both cases. The complexity of the abstract Petri net model is distributed in every aspect of the model whereas the complexity is in the places and transitions of the Petri net model with inhibitor arcs.
Keywords: abstract net; software development; heating system problem; inhibitor arc; subnet combination.