English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Tools annual

Global: Zendy Free Plan

Global: Zendy Tools monthly

Global: Zendy Plus monthly

Ein nun schon klassisches Werkzeug zur Beschreibung paralleler Datenverarbeitungsprozesse stellen Petri-Netze dar. Nach einem kurzen Einblick in die geschichtliche Entwicklung, die gleichzeitig eine Klassifikation verschiedener Petri-Netz-Arten gibt, werden an einem einfachen Beispiel PetriNetze und höhere Petri-Netze anschaulich eingeführt. Der mathematische Apparat zur formalisierten Behandlung wird angesprochen. Die FloydHoaresche Zusicherungsmethode wird auf das Gebiet höherer Petri-Netze übertragen, um auch in diesem Gebiet als Hilfsmittel zur Beschreibung und Verifikation von System-Eigenschaften zu dienen. Als Anwendungsbeispiel wird eine Lösung des Problems der verteilten Terminierung ein Grundproblem paralleler Datenverarbeitung skizziert.

it. information technology/information technology

Höhere Petri-Netze - ein Werkzeug für Modellierung und Analyse verteilter Systeme und paralleler Datenverarbeitungsprozesse / High level Petri nets, a tool for modelling and analysis of distributed systems