Advances in Petri Nets 1985
The signing of a contract ¿ a tree-structured application modelled with petri net building blocks.- Checking properties of nets using transformations.- Petri nets and algebraic calculi of processes.- Fair controls and their realization.- Beta processes of C/E systems.- Synchronic distances in C/E systems.- Process periods and system reconstruction.- Guidelines on using net analysis techniques with large specifications.- Application of an extension of petri nets to modelization of control and production processes.- Making nets abstract and structured.- Petri net tools.- Projections of CE-systems.- Synchronic structure.- Safe states in Banker l…
Mehr
CHF 115.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V103:
Folgt in ca. 5 Arbeitstagen
Produktdetails
- ISBN: 978-3-540-16480-7
- EAN: 9783540164807
- Produktnummer: 3256528
- Verlag: Springer Berlin Heidelberg
- Sprache: Englisch
- Erscheinungsjahr: 1986
- Seitenangabe: 508 S.
- Masse: H23.5 cm x B15.5 cm x D2.7 cm 762 g
- Auflage: 1986
- Abbildungen: Paperback
- Gewicht: 762
100 weitere Werke von Grzegorz (Hrsg.) Rozenberg:
Bewertungen
Anmelden