1,063
views
0
recommends
+1 Recommend
1 collections
    0
    shares

      Studying business & IT? Drive your professional career forwards with BCS books - for a 20% discount click here: shop.bcs.org

      scite_
       
      • Record: found
      • Abstract: found
      • Conference Proceedings: found
      Is Open Access

      Aggregation of Transitions in Marking Graph Generation Based on Maximality Semantics for Petri Nets

      Published
      proceedings-article
      , ,
      Second International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2008) (VECoS)
      Verification and Evaluation of Computer and Communication Systems
      2 - 3 July 2008
      Maximality-based labeled transition systems, Maximality bisimulation, Aggregation of transitions, Petri nets
      Bookmark

            Abstract

            In this paper, we propose an operational semantics to build maximality-based labeled transition systems (MLTS) from Place/Transition Petri nets while performing aggregation of equivalent derivations of transitions according to maximality bisimulation relation. We show that generated MLTS are equivalent to MLTS generated without aggregation. As illustration, we apply results on a ticket reservation system.

            Content

            Author and article information

            Contributors
            Conference
            July 2008
            July 2008
            : 1-11
            Affiliations
            [0001]Computer Science Dept., University of Mentouri, 25000 Constantine, Algeria
            Article
            10.14236/ewic/VECOS2008.1
            ab05bd31-58a0-43c2-a681-de7cc97c96de
            © Djamel Eddine Saïdouni et al. Published by BCS Learning and Development Ltd. Second International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2008)

            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/

            Second International Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS 2008)
            VECoS
            Leeds, UK
            2 - 3 July 2008
            Electronic Workshops in Computing (eWiC)
            Verification and Evaluation of Computer and Communication Systems
            History
            Product

            1477-9358 BCS Learning & Development

            Self URI (article page): https://www.scienceopen.com/hosted-document?doi=10.14236/ewic/VECOS2008.1
            Self URI (journal page): https://ewic.bcs.org/
            Categories
            Electronic Workshops in Computing

            Applied computer science,Computer science,Security & Cryptology,Graphics & Multimedia design,General computer science,Human-computer-interaction
            Maximality-based labeled transition systems,Maximality bisimulation,Aggregation of transitions,Petri nets

            Comments

            Comment on this article