Transactions on Petri Nets and Other Models of Concurrency III

Beschreibung

Autor*in

Kurt Jensen

Themen in »Transactions on Petri Nets and Other Models of Concurrency III«

MANET Simulation calculus coloured petri nets design formal language formal models mobile petri nets model-checking modeling petri nets pi-calculus software engineering workflow nets

Stimmen zu »Transactions on Petri Nets and Other Models of Concurrency III«

Details

Link teilen