Transactions on Petri Nets and Other Models of Concurrency III by Jonathan Billi
69,15 €
Designing a Workflow System Using Coloured Petri Nets. - Soundness of Workflow Nets with Reset Arcs. - Comparison of Different Algorithms to Synthesize a Petri Net from a Partial Language. - On Bisimulation Theory in Linear Higher-Order ?.
Jetzt bei Ebay:
