Move code that computes marking and canfire from Petri Net processes to caller. Specifically, rewriting internals into external handles such as atom()s naming transitions and places.
Since there may be (far) less callers, this should be more efficient in terms of storage size per Petri Net. Thus, is would help to have very large numbers of Petri Nets around.
It would not help to speed up parallel computations based on introspection. Usually however, introspection is not done but it is left to the Petri Net to backfire when a transition cannot occur (and the marking is not of external interest).
Move code that computes marking and canfire from Petri Net processes to caller. Specifically, rewriting internals into external handles such as atom()s naming transitions and places.
Since there may be (far) less callers, this should be more efficient in terms of storage size per Petri Net. Thus, is would help to have very large numbers of Petri Nets around.
It would not help to speed up parallel computations based on introspection. Usually however, introspection is not done but it is left to the Petri Net to backfire when a transition cannot occur (and the marking is not of external interest).