Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich.
mehr Informationen...
Abstract State Machines, Alloy, B, TLA, VDM, and Z, p.3-34
Details
- Autor(en) / Beteiligte
- Titel
- Modeling Distributed Algorithms by Abstract State Machines Compared to Petri Nets
- Ist Teil von
- Abstract State Machines, Alloy, B, TLA, VDM, and Z, p.3-34
- Ort / Verlag
- Cham: Springer International Publishing
- Link zum Volltext
- Quelle
- Alma/SFX Local Collection
- Beschreibungen/Notizen
- We show how to model distributed algorithms by Abstract State Machines (ASMs). Comparing these models with Petri nets (PNs) reveals a certain number of idiosyncrasies of PNs which complicate both model design and analysis. The ASMs we define illustrate how one can avoid such framework related technicalities.
- Sprache
- Englisch
- Identifikatoren
- ISBN: 3319335995, 9783319335995ISSN: 0302-9743eISSN: 1611-3349DOI: 10.1007/978-3-319-33600-8_1Titel-ID: cdi_springer_books_10_1007_978_3_319_33600_8_1
- Format
- –