Software Modeling Technique and its Prototype Tool for Behavior of Multiple Objects Using Extended Place/Transition Nets with Attributed Tokens
Tomohiko Takagi, Ryo Kurozumi · Journal of Robotics Networking and Artificial Life · 2020
WORK Software Modeling Using EPNPetri net including PN has been used in traditional software modeling and testing [3][4][5].In previous study, we extended the PN by introducing VDM++ [a formal modeling language in vienna development method (VDM)] [6] in order to enhance its representation power, and generate test cases systematically.The extended PN, that is, EPN [1,2] consists of the following four kinds of structural elements.• Places to express states of each object.• Transitions to express events of each object.• Tokens to express a current state of each object.• Arcs to specify the flow of tokens between places and transitions.Details that cannot be represented in PN, such as the actions and pre-conditions (guards) of transitions, are formally written in VDM++.