IST 发表于 2025-4-1 02:07:10
http://reply.papertrans.cn/17/1645/164489/164489_61.png彩色 发表于 2025-4-1 07:09:48
Object Coloured Petri Nets - A Formal Technique for Object Oriented Modellingg an informal use case description. With their formal semantics, graphical representation, means to model concurrency, and executability OCP-Nets lead to an improved Object Oriented Modelling approach.