Modular Verification of Petri nets properties: a Structure-based Approach
Klai, Kais; Haddad, Serge; Ilié, Jean-Michel (2005), Modular Verification of Petri nets properties: a Structure-based Approach, in Wang, Farn, Formal Techniques for Networked and Distributed Systems - FORTE 2005 Formal Techniques for Networked and Distributed Systems - FORTE 2005 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings, Springer : Berlin, p. 189-203. http://dx.doi.org/10.1007/11562436_15
Type
Communication / ConférenceDate
2005Conference title
25th International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2005Conference date
2005-10Conference city
TaipeiConference country
TaïwanBook title
Formal Techniques for Networked and Distributed Systems - FORTE 2005 Formal Techniques for Networked and Distributed Systems - FORTE 2005 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, ProceedingsBook author
Wang, FarnPublisher
Springer
Series title
Lecture Notes in Computer ScienceSeries number
3731Published in
Berlin
ISBN
978-3-540-29189-3
Number of pages
558Pages
189-203
Publication identifier
Metadata
Show full item recordAbstract (EN)
In this paper, we address the modular verification problem for a Petri net obtained by composition of two subnets. At first, we show how to transform an asynchronous composition into a synchronous one where the new subnets are augmented from the original ones by means of linear invariants. Then we introduce a non-constraining relation between subnets based on their behaviour. Whenever this relation is satisfied, standard properties like the liveness and the boundedness and generic properties specified by a linear time logic may be checked by examination of the augmented subnets in isolation. Finally, we give a sufficient condition for this relation which can be detected modularly using an efficient algorithm.Subjects / Keywords
Abstraction; modular verification; (de)composition; Petri netsRelated items
Showing items related by title and author.
-
Klai, Kais; Haddad, Serge; Ilié, Jean-Michel (2002) Communication / Conférence
-
Haddad, Serge; Ilié, Jean-Michel; Klai, Kais (2004) Communication / Conférence
-
Baarir, Souheib; Dutheillet, Claude; Haddad, Serge; Ilié, Jean-Michel (2005) Communication / Conférence
-
Haddad, Serge; Ilié, Jean-Michel; Taghelit, Mohamed; Dutheillet, Claude; Moreaux, Patrice (1997) Article accepté pour publication ou publié
-
Baarir, Souheib; Haddad, Serge; Ilié, Jean-Michel (2005) Communication / Conférence