A Modelling Approach with Coloured Petri Nets

  title={A Modelling Approach with Coloured Petri Nets},
  author={Christine Choppy and Laure Petrucci and Gianna Reggio},
When designing a complex system with critical requirements (e.g. for safety issues), formal models are often used for analysis prior to costly hardware/software implementation. However, writing the formal specification starting from the textual description is not easy. An approach to this problem has been developed in the context of algebraic specifications [CR06], and was later adapted to Petri nets [CP04,CPR07]. Here, we show how such a method, with precise and detailed guidelines, can be… CONTINUE READING