ABCD:A User-Friendly Language for Formal Modelling and Analysis
ABDC is an algebra of coloured Petri nets
A compiler is distribute within the SNAKES toolkit and allows to build a Petri net from ABCD source code
ABCD:Asynchronous Box Calculus with Data
猜你喜欢
转载自blog.csdn.net/Zhw999z/article/details/84964535
今日推荐
周排行