Cited By
View all- Zhou W(2024)MSCFS-RP: A Colored-Petri-Net-Based Analysis Model for Master–Slave Cloud File Systems with Replication PipeliningElectronics10.3390/electronics1314285213:14(2852)Online publication date: 19-Jul-2024
- Ali NPunnekkat SRauf A(2024)Modeling and safety analysis for collaborative safety-critical systems using hierarchical colored Petri netsJournal of Systems and Software10.1016/j.jss.2024.111958210(111958)Online publication date: Apr-2024
- Borràs ACalvet LPiera M(2024)Increasing airspace capacity by improving ATCo’s efficiency through an innovative handover mechanismComputers & Industrial Engineering10.1016/j.cie.2024.110513(110513)Online publication date: Aug-2024
- Show More Cited By