355
views
0
recommends
+1 Recommend
1 collections
    4
    shares
      • Record: found
      • Abstract: found
      • Conference Proceedings: found
      Is Open Access

      Towards Distributed Verification of Petri Nets Properties

      ,

      First International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2007) (VECOS)

      Verification and Evaluation of Computer and Communication Systems

      5-6 May 2007

      Petri nets, verification, distributed algorithms

      Read this article at

      Bookmark
          There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

          Abstract

          The use of distributed or parallel processing gained interest in the recent years to fight the state space explosion problem. Many industrial systems are described with large models, and the state space being even larger, it does not fit completely into the memory of a single computer.

          In this approach several computers connected over a network cooperate. The state space is then partitionned among these computers, and each of them contributes to the verification by considering its own subspace.

          In this paper, we address the verification of basic behavioural properties: reachability, liveness and home state and their distributed analysis. In particular, the verification of the latter properties requires the generation of the full state space and the computation of its terminal strongly connected components. Here, we propose to use a distributed Tarjan algorithm to perform this computation.

          The performance of distributed verification depends on several criteria, e.g. load balancing of the partitionned state space, but also more importantly on a good partitioning. Therefore, choosing an adequate hash function to assign nodes to processors is important.

          Related collections

          Author and article information

          Contributors
          Conference
          May 2007
          May 2007
          : 1-12
          Affiliations
          LSI, Computer Science department, USTHB

          BP 32 El-Alia

          Algiers, ALGERIA
          LIPN, CNRS UMR 7030, Université Paris XIII

          99, avenue Jean-Baptiste Clément

          F-93430 Villetaneuse, FRANCE
          Article
          10.14236/ewic/VECOS2007.3
          © M.C. Boukala et al. Published by BCS Learning and Development Ltd. First International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2007), Algiers, Algeria

          This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

          First International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2007)
          VECOS
          1
          Algiers, Algeria
          5-6 May 2007
          Electronic Workshops in Computing (eWiC)
          Verification and Evaluation of Computer and Communication Systems
          Product
          Product Information: 1477-9358BCS Learning & Development
          Self URI (journal page): https://ewic.bcs.org/
          Categories
          Electronic Workshops in Computing

          Comments

          Comment on this article