Benutzer: Gast  Login
Titel:

An Improvement of McMillan's Unfolding Algorithm.

Dokumenttyp:
Technical Report
Autor(en):
J. Esparza; S. Römer; W. Vogler
Abstract:
McMillan has proposed a new technique to avoid the state explosion problem in the verification of systems modelled with finite-state Petri nets. The technique is based on the concept of net unfolding, a well known partial order semantics of Petri nets, later described in more detail under the name of 'branching processes'. The unfolding of a net is another net, usually infinite but with a simpler structure. McMillan proposes an algorithm for the construction of a finite initial part of the unfol...     »
Stichworte:
finite-state Petri nets; state explosion problem; McMillan's Unfolding Algorithm
Jahr:
1995
Jahr / Monat:
1995-12-11 00:00:00
Seiten/Umfang:
25
 BibTeX