Analysis of Signed Petri net. (26th April 2023)

• Record Type: Journal Article
• Authors: Kansal, Sangita
• Is Part Of: International journal of computing science and mathematics. Volume 17:Number 2(2023)
• Page Start: 123
• Page End: 137
• Publication Date: 2023-04-26
• Subjects: incidence matrix -- Petri net -- SPN -- Signed Petri net -- signed graph -- conservative PN -- live PN -- reachability tree -- bounded PN -- weighing vector -- marking; Mathematics -- Periodicals; Computer science -- Periodicals; Mathematics -- Data processing -- Periodicals; 510.285
• Languages: English
• ISSNs: 1752-5055

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.