Thursday, 31 January 2019

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]
20 by boshomi | 1 comments on Hacker News.


No comments:

Post a Comment

How Awful Is the Republican Megabill? Here Are Four of the Worst Parts.

By Jacob S. Hacker and Patrick Sullivan from NYT Opinion https://ift.tt/p8qFrEX via IFTTT