Automated Modelling of Deadlock-free Petri Nets Using Duplicated Transition Labels.

Román Pomares-Angelino Ernesto López-Mellado

Published in: CCE (2020)

Keyphrases

petri net
deadlock free
petri net model
concurrency control
discrete event systems
colored petri nets
fuzzy petri net
service composition
stochastic petri net
routing algorithm
transaction processing
programmable logic controller
ims ld
real time
business processes
fuzzy logic
expert systems
knowledge base