Towards the Complexity of Petri Nets and One Counter Machines via Coordinated Table Selective Substitution Systems.

Liliana Cojocaru

Published in: SYNASC (2021)

Keyphrases

petri net
discrete event systems
manufacturing systems
reactive systems
neural network
service composition
multi agent
distributed systems
complex systems
colored petri nets
ims ld
state machines
concurrent systems
petri net model
discrete dynamical systems