Transactions on Petri Nets and Other Models of Concurrency XI by Maciej Koutny (
68,30 €
By Maciej Koutny, Jetty Kleijn, Jörg Desel. It also contains one paper submitted directly to ToPNoC. Pragmatics Annotated Coloured Petri Nets for Protocol Software Generation and Verification. - Non-interference Notions Based on Reveals and Excludes Relations for Petri Nets.
Jetzt bei Ebay: