![](/img/cover-not-exists.png)
Formal Modeling of Sequential Function Charts With Time Petri Nets
Wightkin, Nicholas, Buy, Ugo, Darabi, HoushangVolume:
19
Language:
english
Journal:
IEEE Transactions on Control Systems Technology
DOI:
10.1109/tcst.2010.2047106
Date:
March, 2011
File:
PDF, 305 KB
english, 2011