Abstract
We show how the firing rule of Petri nets relies on a residuation operation for the commutative monoid of natural numbers. On that basis we introduce closed monoidal structures which are residuated monoids. We identify a class of closed monoidal structures (associated with a family of idempotent group dioids) for which one can mimic the token game of Petri nets to define the behaviour of these generalized Petri nets whose flow relations and place contents are valued in the closed monoidal structure.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
E. Badouel, M. Bednarczyk, and Ph. Darondeau. Generalized automata and their net representations. In H. Ehrig, J. Padberg, and G. Rozenberg, editors, Uniform approaches to Petri nets, Advances in Petri nets, Lectures Notes in Computer Sciences, pages 304–345. Springer Verlag, 2001.
E. Badouel and Ph. Darondeau. Dualities between nets and automata induced by schizophrenic objects. In 6th International Conference on Category Theory and Computer Science, volume 953 of Lecture Notes in Computer Science, pages 24–43, 1995.
E. Badouel and Ph. Darondeau. Theory of regions. In Third Advance Course on Petri Nets, Dagstuhl Castle, volume 1491 of Lecture Notes in Computer Science, pages 529–586. Springer-Verlag, 1998.
J. Berstel and Ch. Reutenauer. Les séries rationnelles et leurs langages. Masson, Paris, 1984.
R. David and H. Alla. Petri nets for modeling of dynamic systems-a survey. Automatica, 30:175–202, 1994.
M. Droste and R.M. Shortt. Continuous petri nets and transition systems. In H. Ehrig, J. Padberg, and G. Rozenberg, editors, Uniform approaches to Petri nets, Advances in Petri nets, Lectures Notes in Computer Sciences. Springer Verlag, 2001.
H. Ehrig, J. Padberg, and G. Rozenberg, editors. Uniform approaches to Petri nets, Advances in Petri nets, Lectures Notes in Computer Sciences. Springer Verlag, 2001.
F.W. Lawvere. Metric spaces, generalized logics, and closed categories. Rendiconti del seminario Matematico e Fisico di Milano, XLIII:135–166, 1973.
J. Meseguer and U. Montanari. Petri nets are monoids. Information and Computation, 88(2):105–155, 1990.
V.R. Pratt. Origins of the calculus of binary relations. In 7th Annual IEEE Symp. on Logic in Computer Science, Santa Cruz, CA, pages 248–254, 1992.
Ch. Retoré. The logic of categorical grammars. In Lecture Notes of the European Summer School in Logic, Language and Information, ESSLLI’2000, Birmingham, 2000.
M.P. Schutzenberger. On the definition of a family of automata. Information and Control, 4:245–270, 1961.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Badouel, E., Chenou, J. (2003). Nets Enriched over Closed Monoidal Structures. In: van der Aalst, W.M.P., Best, E. (eds) Applications and Theory of Petri Nets 2003. ICATPN 2003. Lecture Notes in Computer Science, vol 2679. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44919-1_8
Download citation
DOI: https://doi.org/10.1007/3-540-44919-1_8
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-40334-0
Online ISBN: 978-3-540-44919-5
eBook Packages: Springer Book Archive