Artículo:

A time stamp reduction method for state space exploration using colored Petri nets

Autor:

Mercedes E. Narciso

Miquel A. Piera

Antoni Guasch

Página:

592

Publicación:

Simulation

Volúmen:

88

Número:

5

Periodo:

mayo 2012

ISSN:

00375497

SrcID:

00375497-2012-05.txt