An algorithm for petri nets reachability by unfoldings

• Autores: Toshiyuki Miyamoto, Shun-ichiro Nakano, Sadatoshi Kumagai
• Localización: IEICE transactions on fundamentals of electronics, communications and computer, ISSN 0916-8508, Vol. 82, Nº. 3, 1999, págs. 500-503
• Idioma: inglés
• Texto completo no disponible (Saber más ...)