There are several ways to display results on Macao using FrameKit. The first one is to display text on the historic window.

The second one is to associate objects together with some textual information. Here is below an example of this technique applied to the display of P-invariants in CPN-AMI.

The third one is to generate another model, either in the same formalisms as the input one or in another one. In the example below, you get a reachability graph from a Petri net model. The result is a new model built according the the "reachabilityGraph" formalism.