Free Choice Petri Nets - Desel, Jorg (Humboldt-Universitat zu Berlin); Esparza, Javier (University of Edinburgh)
47,99 €
inkl. MwSt.
Versandkostenfrei*
Versandfertig in 1-2 Wochen
payback
24 °P sammeln
  • Broschiertes Buch

Petri nets are a popular and powerful formal model for the analysis and modelling of concurrent systems. The text is very clearly organised, with every notion carefully explained and every result proved. Clear exposition is given for place invariants, siphons, traps and many other important analysis techniques.

Andere Kunden interessierten sich auch für
Produktbeschreibung
Petri nets are a popular and powerful formal model for the analysis and modelling of concurrent systems. The text is very clearly organised, with every notion carefully explained and every result proved. Clear exposition is given for place invariants, siphons, traps and many other important analysis techniques.