Hybrid Petri Nets to Re-design Low-Automated Production Processes: the Case Study of a Sardinian Bakery