• Design/CPN

  • Referenced in 37 articles [sw01952]
  • verification of cryptographic protocols using coloured Petri nets and Design/CPN...
  • CPN/Tools

  • Referenced in 27 articles [sw01261]
  • tool for editing and simulating coloured Petri nets. ETAPS tool demonstration related to TACAS. CPN/Tools ... simulation and state space analysis of Coloured Petri Nets. The new interface is based...
  • INA

  • Referenced in 17 articles [sw30145]
  • analysis of Petri Nets and Coloured Petri nets...
  • LBS

  • Referenced in 14 articles [sw12372]
  • structures for the specific cases of Petri nets, coloured Petri nets, ODEs and continuous-time...
  • Access/CPN

  • Referenced in 6 articles [sw02024]
  • interacting with the CPN tools simulator. Coloured Petri nets (CP-nets or CPNs...
  • LOOPN++

  • Referenced in 3 articles [sw31033]
  • object-oriented structuring techniques with the petri net formalism which has proved beneficial ... application of object-oriented ideas to Coloured Petri Nets, in that it breaks away from ... textual language for specifying object-oriented petri nets which is convenient for modelling complex concurrent ... transforming object-oriented nets into Coloured Petri Net models where traditional analysis techniques...
  • GAP

  • Referenced in 2702 articles [sw00320]
  • GAP is a system for computational discrete algebra...
  • Magma

  • Referenced in 2718 articles [sw00540]
  • Computer algebra system (CAS). Magma is a large...
  • Mathematica

  • Referenced in 5703 articles [sw00554]
  • Almost any workflow involves computing results, and that...
  • Matlab

  • Referenced in 11496 articles [sw00558]
  • MATLAB® is a high-level language and interactive...
  • nauty

  • Referenced in 533 articles [sw00611]
  • graph-theoretic program NAUTY: nauty is a program...
  • R

  • Referenced in 7624 articles [sw00771]
  • R is a language and environment for statistical...
  • Romeo

  • Referenced in 25 articles [sw00812]
  • Romeo: A tool for analyzing time Petri nets...
  • SENAC

  • Referenced in 6 articles [sw00846]
  • SENAC documentation comes in printed and on-line...
  • SUNDIALS

  • Referenced in 202 articles [sw00927]
  • SUNDIALS was implemented with the goal of providing...
  • ML

  • Referenced in 502 articles [sw01218]
  • ML (’Meta Language’) is a general-purpose functional...
  • Kronos

  • Referenced in 259 articles [sw01270]
  • KRONOS is a tool developed with the aim...
  • HOL/SPIN

  • Referenced in 24 articles [sw02987]
  • Routing information protocol in HOL/SPIN We provide a...
  • PNML

  • Referenced in 40 articles [sw03257]
  • PNML framework: An extendable reference implementation of the...