Lectures on Concurrency and Petri Nets

Beschreibung

Includes supplementary material: sn.pub/extras

Autor*in

Jörg Desel

Themen in »Lectures on Concurrency and Petri Nets«

Petri nets Workflow Management algorithms automata concurrency concurrent systems distributed systems embedded systems formal methods formal verification petri net process algebra sequence charts system modeling web services

Stimmen zu »Lectures on Concurrency and Petri Nets«

Details

Link teilen