ISSN:
1129-6569
Source:
Springer Online Journal Archives 1860-2000
Topics:
Mathematics
,
Economics
Description / Table of Contents:
Abstract After recalling the basic concepts about Petri nets, we consider some aspects of the reachability problem in transition space. In particular, some theorems are given on the markings which enable given firing sequences. The new concept of stability of a Petri net is then introduced and we show that it is possible to decide efficiently if a net is stable or bounded by solving a unique linear programming problem. An application to binary frequency divisors is given last.
Notes:
Abstract Dopo aver richiamato i concetti fondamentali sulle reti di Petri, si espongono alcune considerazioni sul problema della raggiungibilità ambientato nello spazio delle transizioni. Si introducono quindi alcune nozioni sulla stabilità e limitatezza strutturali delle reti di Petri, che vengono illustrate con un'applicazione a reti di divisori di frequenza binari. Il problema di decidere della stabilità o limitatezza di una rete di Petri è ricondotto a un problema di programmazione lineare.
Type of Medium:
Electronic Resource
URL:
http://dx.doi.org/10.1007/BF02089028
Permalink