Coupling reliability and logistical considerations for complex system of systems using Stochastic Petri Nets | IEEE Conference Publication | IEEE Xplore