Cited By
View all- Gil-Costa VLobos JSolar RMarin M(2014)AMEDS-toolProceedings of the 2014 Summer Simulation Multiconference10.5555/2685617.2685637(1-8)Online publication date: 6-Jul-2014
- Mahmood IAyani RVlassov VMoradi F(2012)Verifying Dynamic Semantic Composability of BOM-Based Composed Models Using Colored Petri NetsProceedings of the 2012 ACM/IEEE/SCS 26th Workshop on Principles of Advanced and Distributed Simulation10.1109/PADS.2012.48(250-257)Online publication date: 15-Jul-2012
- Mahmood IAyani RVlassov VMoradi F(2011)Fairness Verification of BOM-Based Composed Models Using Petri NetsProceedings of the 2011 IEEE Workshop on Principles of Advanced and Distributed Simulation10.1109/PADS.2011.5936770(1-8)Online publication date: 14-Jun-2011
- Show More Cited By