Coloured Petri Nets Modelling and Validation of Concurrent Systems - Jensen, Kurt.; Kristensen, Lars M.; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2009)
Keywords: Computer science; Computer network architectures; Software engineering; Computer simulation; Computer Science; Computation by Abstract Devices; Simulation and Modeling; Software Engineering; Computer Systems Organization and Communication Networks