Open AccessPrototype of a Modeling Tool to Convert between Extended Place/Transition Nets and VDM++ Specifications
Author(s) -
Toshihisa Takagi,
Ryo Kurozumi
Publication year - 2019
Publication title -
proceedings of international conference on artificial life and robotics
Language(s) - English
Resource type - Journals
eISSN - 2435-9157
pISSN - 2188-7829
DOI - 10.5954/icarob.2019.os6-2
Subject(s) - transition (genetics) , computer science , programming language , software engineering , systems engineering , engineering , chemistry , biochemistry , gene