1995 | ReviewPaper | Buchkapitel
Timed processes of Timed Petri Nets
verfasst von : Valentín Valero, David de Frutos, Fernando Cuartero
Erschienen in: Application and Theory of Petri Nets 1995
Verlag: Springer Berlin Heidelberg
Enthalten in: Professional Book Archive
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
Processes of Petri nets are usually represented by occurrence nets. In this paper we extend this notion to Timed Petri Nets maintaining the structure of timed processes as occurrence nets, but adding time information to the tokens. In order to do that we need first to define formally the model of Timed Petri Nets that we consider, and then we relate timed step sequences with timed processes, obtaining similar results to those for the classical theory of ordinary (non-timed) processes.