OpenAlex · Aktualisierung stündlich · Letzte Aktualisierung: 22.03.2026, 02:17

Dies ist eine Übersichtsseite mit Metadaten zu dieser wissenschaftlichen Arbeit. Der vollständige Artikel ist beim Verlag verfügbar.

Petri nets: Properties, analysis and applications

1989·10.487 Zitationen·Proceedings of the IEEE
Volltext beim Verlag öffnen

10.487

Zitationen

1

Autoren

1989

Jahr

Abstract

Starts with a brief review of the history and the application areas considered in the literature. The author then proceeds with introductory modeling examples, behavioral and structural properties, three methods of analysis, subclasses of Petri nets and their analysis. In particular, one section is devoted to marked graphs, the concurrent system model most amenable to analysis. Introductory discussions on stochastic nets with their application to performance modeling, and on high-level nets with their application to logic programming, are provided. Also included are recent results on reachability criteria. Suggestions are provided for further reading on many subject areas of Petri nets.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">&gt;</ETX>

Ähnliche Arbeiten

Autoren

Institutionen

Themen

Petri Nets in System ModelingFormal Methods in VerificationBusiness Process Modeling and Analysis
Volltext beim Verlag öffnen