Reachability Graph of IOPT Petri Net Models Using CUDA C++ Parallel Application

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

The construction of reachability graphs is suited to verify the properties and behavior of Petri net models based on the structure of the net and the initial marking. It allows checking whether a model conforms to the intended specification of a system and to obtain information about it. This paper proposes an algorithm to compute the reachability graphs of IOPT (Input-Output Place-Transition) nets, which is a Petri net class, using NVIDIA’s CUDA (Compute Unified Device Architecture), which supports the co-processing using GPU and CPU. While CPU is used to schedule threads on GPU, GPU is used to calculate all the child nodes of the reachability graph, including the management of a hash-table for efficiently storing the new states and retrieving the states stored in the database. The presented algorithm takes advantage of CUDA memory functions to allocate and access data that can be used by code running on CPU or GPU, supporting the share of data between the two processor units. Six IOPT net models were used to validate the proposed algorithm.

Original languageEnglish
Title of host publicationTechnological Innovation for Life Improvement - 11th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2020, Proceedings
EditorsLuis M. Camarinha-Matos, Nastaran Farhadi, Fábio Lopes, Helena Pereira
Place of PublicationCham
PublisherSpringer
Pages93-100
Number of pages8
ISBN (Electronic)978-3-030-45124-0
ISBN (Print)978-3-030-45123-3
DOIs
Publication statusPublished - 2020
Event11th Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2020 - Costa de Caparica, Portugal
Duration: 1 Jul 20203 Jul 2020

Publication series

NameIFIP Advances in Information and Communication Technology
PublisherSpringer
Volume577
ISSN (Print)1868-4238
ISSN (Electronic)1868-422X

Conference

Conference11th Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2020
CountryPortugal
CityCosta de Caparica
Period1/07/203/07/20

Keywords

  • Co-processing
  • CUDA
  • GPU
  • IOPT nets
  • Reachability graph

Fingerprint

Dive into the research topics of 'Reachability Graph of IOPT Petri Net Models Using CUDA C++ Parallel Application'. Together they form a unique fingerprint.

Cite this