Title: Analysis of Signed Petri net

Authors: Payal; Sangita Kansal

Addresses: Department of Applied Mathematics, Delhi Technological University, Bawana Road, Delhi-110042, India ' Department of Applied Mathematics, Delhi Technological University, Bawana Road, Delhi-110042, India

Abstract: In this paper, the behavioural properties of Signed Petri net (SPN) are given along with the two techniques: reachability tree and matrix equations to analyse the SPN. An actual case scenario of a restaurant model is given and analysed using the techniques mentioned in the paper. The benefits of using an SPN to model the restaurant system rather than using Petri net are also given.

Keywords: incidence matrix; Petri net; SPN; Signed Petri net; signed graph; conservative PN; live PN; reachability tree; bounded PN; weighing vector; marking.

DOI: 10.1504/IJCSM.2023.130684

International Journal of Computing Science and Mathematics, 2023 Vol.17 No.2, pp.123 - 137

Received: 29 Oct 2019
Accepted: 07 Dec 2020
Published online: 03 May 2023 *

Full-text access for editors Full-text access for subscribers Purchase this article Comment on this article