Thursday, January 31, 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

Vibe Genomics: Sequencing Your Whole Genome at Home

Article URL: https://vibe-genomics.replit.app/ Comments URL: https://news.ycombinator.com/item?id=47818685 Points: 1 # Comments: 0 fro...