Benutzer: Gast  Login
Dokumenttyp:
Technical Report 
Autor(en):
J. Esparza; S. Römer; W. Vogler 
Titel:
An Improvement of McMillan's Unfolding Algorithm. 
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