In this paper, we develop a timed colored Petri net (TCPN) model of the 1-wire protocol, which is one of the most popular and simplest ...
確定! 回上一頁