Specification of design and verification of service-oriented systems

Abstract

ion refining (basic version) CPN Tools state space report for: F:\!!DTU\!thesis\cpntools\Samples\myWay14.cpn Report generated: Thu Nov 08 16:39:47 2007 Statistics ---------------------------------------------State Space Nodes: 2093 Arcs: 4383 Secs: 4 Status: Full Scc Graph Nodes: 1317 Arcs: 3333 Secs: 0 Boundedness Properties… (More)

Topics

87 Figures and Tables

Slides referencing similar topics