Équipes actuelles : | ALMASTY ALSOC APR BD CIAN ComplexNetworks DECISION DELYS LFI MOCAH MoVe NPA PEQUAN PolSys QI RO SMA SYEL |
Ancienne équipe : | ACASA |
- W. Van der Aalst, J.‑M. Colom, F. Kordon, G. Kotsis, D. Moldt : “Petri Net Approaches for Modelling and Validation”, vol. 1, LINCOM Studies in Computer Science [van der Aalst 1999]