Article | REF: S7254 V2

Petri nets: Theory and implementation

Authors: David DELFIEU, Olivier Henri ROUX, Robert VALETTE

Publication date: May 10, 2025 | Lire en français

You do not have access to this resource.
Click here to request your free trial access!

Already subscribed? Log in!


Overview

ABSTRACT

This article presents the formal and applicative aspects of Petri nets (RdP). This is a tool for modeling and analyzing systems in the formof states, transitions and tokens, in which control evolves asynchronously and concurrently. The concept of token is used to represent capacity. Various extensions to RdP are discussed, offering greater functional expressiveness and more compact modeling. Another type of extension involves the incorporation of time. These extensions make it possible to introduce the notions of urgency, watchdog and duration. Finally, a set of application tools is presented for modeling, simulation and code generation.

Read this article from a comprehensive knowledge base, updated and supplemented with articles reviewed by scientific committees.

Read the article

AUTHORS

  • David DELFIEU: Lecturer at Polytech'Nantes - Laboratoire des Sciences et du Numérique de Nantes (LS2N), France

  • Olivier Henri ROUX: University Professor at École Centrale de Nantes - Laboratoire des Sciences et du Numérique de Nantes (LS2N), France

  • Robert VALETTE: Honorary Research Director - LAAS-CNRS Toulouse, France

 INTRODUCTION

Petri nets can be used to formalize notions of competition, synchronization and resource enumeration, and are a tool for modeling control systems. Extended versions are also available that take into account temporal information. Petri nets are defined mathematically using vector notation. For Petri nets that do not take time into account, a semantic completes the mathematical definition. For temporal extensions, we present several semantics in section 3 , depending on the interpretation of transition "aging". Petri nets were introduced in Carl Adam Petri's 1962 doctoral thesis and taken up by a group of researchers at MIT . Springer Verlag publishes important results in Advances in Petri Nets.

In sections 1.1 and 1.1.2 , we provide a set of definitions of the basic concepts using two different formalisms: a vector (or...

You do not have access to this resource.

Exclusive to subscribers. 97% yet to be discovered!

You do not have access to this resource.
Click here to request your free trial access!

Already subscribed? Log in!


The Ultimate Scientific and Technical Reference

A Comprehensive Knowledge Base, with over 1,200 authors and 100 scientific advisors
+ More than 10,000 articles and 1,000 how-to sheets, over 800 new or updated articles every year
From design to prototyping, right through to industrialization, the reference for securing the development of your industrial projects

KEYWORDS

Petri net   |   Real time systems   |   Concurrent System   |   Modeling tools

EDITIONS

Other editions of this article are available:


This article is included in

Control and systems engineering

This offer includes:

Knowledge Base

Updated and enriched with articles validated by our scientific committees

Services

A set of exclusive tools to complement the resources

Practical Path

Operational and didactic, to guarantee the acquisition of transversal skills

Doc & Quiz

Interactive articles with quizzes, for constructive reading

Subscribe now!

Ongoing reading
Petri nets – Theory and implementation