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

Eight Things to Know about Large Language Models(2023)

Article URL: https://arxiv.org/abs/2304.00612 Comments URL: https://news.ycombinator.com/item?id=49492497 Points: 1 # Comments: 1 fro...