Lars M. Kristensen

1 book

Coloured Petri Nets: Modelling and Validation of Concurrent Systems by Kurt Jensen, Lars M. Kristensen

Coloured Petri Nets: Modelling and Validation of Concurrent Systems

Kurt Jensen, Lars M. Kristensen

384 pages • missing pub info (editions)

nonfiction computer science mathematics science challenging informative medium-paced