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.
International Journal of Computing Science and Mathematics, 2023 Vol.17 No.2, pp.123 - 137
Accepted: 07 Dec 2020
Published online: 03 May 2023 *