A Modelling Approach with Coloured Petri Nets

Authors:
Christine Choppy;Laure Petrucci;Gianna Reggio
Affiliations:
LIPN, Institut Galilée, Université Paris XIII, France;LIPN, Institut Galilée, Université Paris XIII, France;DISI, Università di Genova, Italy
Venue:
Ada-Europe '08 Proceedings of the 13th Ada-Europe international conference on Reliable Software Technologies
Year:
2008

Citing 2
Cited 1

Object-oriented analysis (2nd ed.)

Object-oriented analysis (2nd ed.)
Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems

International Journal on Software Tools for Technology Transfer (STTT)

Towards a Standard for Modular Petri Nets: A Formalisation

PETRI NETS '09 Proceedings of the 30th International Conference on Applications and Theory of Petri Nets

Quantified Score

Hi-index	0.00

Visualization

Abstract

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 applied for writing modular coloured Petri nets. This is illustrated on a model railway case study, where modules are a key aspect.