Aggregating views for Petri net model construction
Jörg Desel · 2008
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 model starting from the textual description is not easy. Approaches to this problem have been presented in the context of Petri nets in [CPR07, CPR08, Des08]. In this paper, since the views adopted previously are both different and complementary, we propose to extract different possible views of the system to be modelled, together with their associated properties. Then, they are aggregated in order to form a complete model. Finally, the properties are checked so as to ensure the consistency of the model w.r.t. the initial requirements.