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

Carolina Lagartinho-Oliveira; Filipe Moutinho; Luís Gomes

doi:10.1007/978-3-030-45124-0_8

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

Carolina Lagartinho-Oliveira, Filipe Moutinho, Luís Gomes

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-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 language	English
Title of host publication	Technological Innovation for Life Improvement - 11th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2020, Proceedings
Editors	Luis M. Camarinha-Matos, Nastaran Farhadi, Fábio Lopes, Helena Pereira
Place of Publication	Cham
Publisher	Springer
Pages	93-100
Number of pages	8
ISBN (Electronic)	978-3-030-45124-0
ISBN (Print)	978-3-030-45123-3
DOIs	https://doi.org/10.1007/978-3-030-45124-0_8
Publication status	Published - 2020
Event	11th Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2020 - Costa de Caparica, Portugal Duration: 1 Jul 2020 → 3 Jul 2020

Publication series

Name	IFIP Advances in Information and Communication Technology
Publisher	Springer
Volume	577
ISSN (Print)	1868-4238
ISSN (Electronic)	1868-422X

Conference

Conference	11th Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2020
Country/Territory	Portugal
City	Costa de Caparica
Period	1/07/20 → 3/07/20

Keywords

Co-processing
CUDA
GPU
IOPT nets
Reachability graph

Access to Document

10.1007/978-3-030-45124-0_8

Cite this

Lagartinho-Oliveira, C., Moutinho, F., & Gomes, L. (2020). Reachability Graph of IOPT Petri Net Models Using CUDA C++ Parallel Application. In L. M. Camarinha-Matos, N. Farhadi, F. Lopes, & H. Pereira (Eds.), Technological Innovation for Life Improvement - 11th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2020, Proceedings (pp. 93-100). (IFIP Advances in Information and Communication Technology; Vol. 577). Springer. https://doi.org/10.1007/978-3-030-45124-0_8

Lagartinho-Oliveira, Carolina ; Moutinho, Filipe ; Gomes, Luís. / Reachability Graph of IOPT Petri Net Models Using CUDA C++ Parallel Application. Technological Innovation for Life Improvement - 11th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2020, Proceedings. editor / Luis M. Camarinha-Matos ; Nastaran Farhadi ; Fábio Lopes ; Helena Pereira. Cham : Springer, 2020. pp. 93-100 (IFIP Advances in Information and Communication Technology).

@inproceedings{9e932d6b17b54f81a1aa5d4b956464de,

title = "Reachability Graph of IOPT Petri Net Models Using CUDA C++ Parallel Application",

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{\textquoteright}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.",

keywords = "Co-processing, CUDA, GPU, IOPT nets, Reachability graph",

author = "Carolina Lagartinho-Oliveira and Filipe Moutinho and Lu{\'i}s Gomes",

note = "info:eu-repo/grantAgreement/FCT/6817 - DCRRNI ID/UID%2FEEA%2F00066%2F2019/PT# info:eu-repo/grantAgreement/FCT/6817 - DCRRNI ID/UIDB%2F00066%2F2020/PT# ; 11th Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2020 ; Conference date: 01-07-2020 Through 03-07-2020",

year = "2020",

doi = "10.1007/978-3-030-45124-0_8",

language = "English",

isbn = "978-3-030-45123-3",

series = "IFIP Advances in Information and Communication Technology",

publisher = "Springer",

pages = "93--100",

editor = "Camarinha-Matos, {Luis M.} and Nastaran Farhadi and F{\'a}bio Lopes and Helena Pereira",

booktitle = "Technological Innovation for Life Improvement - 11th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2020, Proceedings",

address = "Netherlands",

}

Lagartinho-Oliveira, C , Moutinho, F & Gomes, L 2020, Reachability Graph of IOPT Petri Net Models Using CUDA C++ Parallel Application. in LM Camarinha-Matos, N Farhadi, F Lopes & H Pereira (eds), Technological Innovation for Life Improvement - 11th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2020, Proceedings. IFIP Advances in Information and Communication Technology, vol. 577, Springer, Cham, pp. 93-100, 11th Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2020, Costa de Caparica, Portugal, 1/07/20. https://doi.org/10.1007/978-3-030-45124-0_8

Reachability Graph of IOPT Petri Net Models Using CUDA C++ Parallel Application. / Lagartinho-Oliveira, Carolina ; Moutinho, Filipe ; Gomes, Luís.
Technological Innovation for Life Improvement - 11th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2020, Proceedings. ed. / Luis M. Camarinha-Matos; Nastaran Farhadi; Fábio Lopes; Helena Pereira. Cham: Springer, 2020. p. 93-100 (IFIP Advances in Information and Communication Technology; Vol. 577).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

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

AU - Lagartinho-Oliveira, Carolina

AU - Moutinho, Filipe

AU - Gomes, Luís

N1 - info:eu-repo/grantAgreement/FCT/6817 - DCRRNI ID/UID%2FEEA%2F00066%2F2019/PT# info:eu-repo/grantAgreement/FCT/6817 - DCRRNI ID/UIDB%2F00066%2F2020/PT#

PY - 2020

Y1 - 2020

N2 - 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.

AB - 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.

KW - Co-processing

KW - CUDA

KW - GPU

KW - IOPT nets

KW - Reachability graph

UR - http://www.scopus.com/inward/record.url?scp=85084795509&partnerID=8YFLogxK

U2 - 10.1007/978-3-030-45124-0_8

DO - 10.1007/978-3-030-45124-0_8

M3 - Conference contribution

AN - SCOPUS:85084795509

SN - 978-3-030-45123-3

T3 - IFIP Advances in Information and Communication Technology

SP - 93

EP - 100

BT - Technological Innovation for Life Improvement - 11th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2020, Proceedings

A2 - Camarinha-Matos, Luis M.

A2 - Farhadi, Nastaran

A2 - Lopes, Fábio

A2 - Pereira, Helena

PB - Springer

CY - Cham

T2 - 11th Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2020

Y2 - 1 July 2020 through 3 July 2020

ER -

Lagartinho-Oliveira C , Moutinho F , Gomes L. Reachability Graph of IOPT Petri Net Models Using CUDA C++ Parallel Application. In Camarinha-Matos LM, Farhadi N, Lopes F, Pereira H, editors, Technological Innovation for Life Improvement - 11th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2020, Proceedings. Cham: Springer. 2020. p. 93-100. (IFIP Advances in Information and Communication Technology). doi: 10.1007/978-3-030-45124-0_8

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

Abstract

Publication series

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this