For the most recent entries see the Petri Nets Newsletter.

Generalized Automata and Their Net Representations.

Badouel, Eric; Bednarczyk, Marek A.; Darondeau, Philippe

In: H. Ehrig, G. Juhás, J. Padberg, G. Rozenberg (Eds.): LNCS 2128: Unifying Petri Nets - Advances in Petri Nets, pages 304-pp. Springer Verlag, December 2001.

Abstract: We consider two generalizations of the duality between transition systems and Petri nets. In the first, transitions are replaced by paths, that is partial functions from a fixed set Delta to states. This allows to model continuous and/or hybrid systems when Delta represents durations. In the second generalization actions are considered to have a structure given by an algebra. This allows to model, for instance, sequential and parallel composition of ordinary actions. In each case the question of the existence of a Galois connection is considered in the framework of ordered sets and in the categorical setting.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography