*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*