Exceptions may be raised during syntax checking, code generation, simulation, or state space analysis. As CPN ML builds on top of Standard ML, we distinguish between exceptions that are declared as part of CPN ML and Standard ML exceptions.
The following exceptions are declared as part of CPN ML.
A serious error has occurred if an
The following Standard ML exceptions may also be raised when editing, simulating or analyzing a CP-net:
Additional SML exceptions are described in various other signatures and structures that are documented in the SML Basis Library.