About this document

Petri Networks: Concepts and Analysis by Tomescu Madalin is a document available to read on EtoBox.

This document provides an introduction and overview of Petri nets, which are a modeling and analysis tool for discrete event systems. It is structured in five chapters that define Petri nets and explore their applications. The document discusses modeling systems using Petri nets, analyzing properties like safety and liveness, techniques like reachability trees and matrix equations, and advanced concepts like nested Petri nets. The goal is to present fundamental concepts, properties, and analysis techniques

Author

Tomescu Madalin

Language

EN