On the Complexity of Synthesis of nop-Free Boolean Petri Nets.

Ronny Tredup Evgeny Erofeev

Published in: ATAED@Petri Nets (2020)

Keyphrases

petri net
petri net model
discrete event systems
manufacturing systems
high level petri nets
service composition
colored petri nets
fuzzy petri net
discrete dynamical systems
expert systems
process model
artificial intelligence
sequence diagrams
state machines
concurrent systems