Coverability Analysis of Time Basic Petri Nets with Non-Urgent Behavior.

Matteo Camilli Carlo Bellettini Lorenzo Capra Mattia Monga

Published in: SYNASC (2016)

Keyphrases

petri net
colored petri nets
manufacturing systems
petri net model
fuzzy petri net
process model
state machines
concurrent systems