1 records found
1
Modeling of discrete event systems: a holistic and incremental approach using Petri Nets