New top story on Hacker News: Coloured Petri Nets: Modelling and Validation of Concurrent Systems (2009) [pdf]

Coloured Petri Nets: Modelling and Validation of Concurrent Systems (2009) [pdf]
22 by boshomi | 1 comments on Hacker News.