Using multi-level Petri nets models to simulate microbiota resistance to antibiotics | IEEE Conference Publication | IEEE Xplore