Logic Signed Petri Net

08/25/2020
by   Payal, et al.
0

In this paper,the authors show the versatility of the Signed Petri Net (SPN) introduced by them by showing the equivalence between a Logic Signed Petri Net (LSPN) and Logic Petri Net (LPN).The capacity of each place in all these nets is at most one, i.e.,a place has either zero or one token in it.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
04/03/2021

Place Bisimilarity is Decidable, Indeed!

Place bisimilarity is a behavioral equivalence for finite Petri nets, pr...
research
12/16/2021

Skeleton Abstraction for Universal Temporal Properties

Uniform coloured Petri nets can be abstracted to their skeleton, the pla...
research
09/20/2022

Physical Logic Enhanced Network for Small-Sample Bi-Layer Metallic Tubes Bending Springback Prediction

Bi-layer metallic tube (BMT) plays an extremely crucial role in engineer...
research
02/18/2022

Equivariant Transporter Network

Transporter Net is a recently proposed framework for pick and place that...
research
08/15/2023

Leveraging Symmetries in Pick and Place

Robotic pick and place tasks are symmetric under translations and rotati...
research
01/13/2020

Domination in Signed Petri Net

In this paper, domination in Signed Petri net(SPN) has been introduced.W...

Please sign up or login with your details

Forgot password? Click here to reset