Projects



Changes between Version 5 and Version 6 of ccpn


Ignore:
Timestamp:
02/02/19 23:13:34 (6 years ago)
Author:
9simon
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • ccpn

    v5 v6  
    22
    33The Curry-coloured Petri net formalism and its tool set provide the possibilities
    4  - to model CCPNs (Curry-coloured Petri nets) with Curry inscriptions in the Renew editor environment
     4 - to model CCPNs (Curry-coloured Petri nets) with Curry inscriptions in the [http://renew.de Renew] editor environment
    55 - to simulate CCPN models
    66 - to generate a reachability graph for CCPN models