Relabelling LTS for Petri Net Synthesis via Solving Separation Problems.

Uli Schlachter Harro Wimmel

Published in: Trans. Petri Nets Other Model. Concurr. (2019)

Keyphrases

petri net
solving problems
manufacturing systems
petri net model
optimization problems
machine learning
artificial intelligence
rough sets
service composition