Abstract
Among the various proposals for an ‘Algebraic Specification of Concurrency’ [1], OBJSA Nets [3] are a class of algebraic high-level nets which combine Superposed Automata (SA) nets, a modular class of Petri nets, and the algebraic specification language OBJ. OBJS A Nets together with their support environment ONE (OBJSA Net Environment), constitute a specification language for distributed systems which is called OBJSAN as each OBJSAN specification is mapped by ONE into an OBJSA Net [4].
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. Astesiano, G. Reggio. Algebraic Specification of Concurrency. In: M. Bidoit, C. Choppy (eds.), Recent Trends in Data Type Specification, LNCS 655, Springer-Verlag, 1993.
E. Battiston, P. Consolaro, F. De Cindio, L. Rapanotti. POTS, POLS, OBJSA Nets. From object-based to class-based net formalisms. CNR-Progetto Fin. “Sistemi Informatici e Calcolo Parallelo”, Tech. Rep. n. ° i/4/59, 1992.
E. Battiston, F. De Cindio, G. Mauri. A class of high level nets having objects as domains. In: G. Rozenberg (eds.), Advances in Petri nets. LNCS 340, Springer-Verlag, 1988.
E. Battiston, F. De Cindio, G. Mauri. Specifying concurrent systems with OBJSA Nets. CNR-Progetto Fin. “Sistemi Informatici e Calcolo Parallelo”, Tech. Rep. n. ° i/4/72, 1992.
E. Battiston, F. De Cindio, G. Mauri, L. Rapanotti. Morphisms and Minimal Models for OBJSA Nets. In: Proc.12th Int. Conference on Application and Theory of Petri nets, Gjern (DK) June 1991.
V. Crespi. Un approccio categoriale alla semantica dei sistemi OBJSA. Grad thesis, University of Milan, Dipartimento Scienze deH’informazione, 1992.
F. De Cindio, G. De Michelis, L. Pomello, C. Simone. Superposed Automata Nets. In: C. Girault, W. Reisig (eds.), Application and Theory of Petri Nets, IFB 52, Springer-Verlag, Berlin, 1982.
C. Diamantini, S. Kasangian, L. Pomello, C. Simone. Elementary Nets and 2-Categories. CNR-Progetto Fin. “Sistemi Informatici e Calcolo Parallelo”, Tech. Rep. n.° i/4/29, March 1991.
J. Meseguer. Conditional rewriting logic, deduction, models and concurrency. In: S. Kaplan and M. Okada, (eds.), Conditional and Typed Rewriting Systems, LNCS 510, Springer-Verlag, 1991.
J. Meseguer. Multiparadigm logic programming. In: H. Kirchner and G. Levi (eds), Algebraic and Logic Programming, LNCS 632, Springer-Verlag, 1992.
J. Meseguer, U. Montanari. Petri nets are monoids. In: Information and Computation, Volume 88, fascicolo 2, 1990.
W. Reisig. Petri Nets and Algebraic Specifications. In K. Jensen and G. Rozemberg (eds), High-Level Petri Nets. Theory and Applications, Springer-Verlag, 1991.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1994 British Computer Society
About this paper
Cite this paper
Battiston, E., Crespi, V., De Cindio, F., Mauri, G. (1994). Semantics frameworks for a class of modular algebraic nets. In: Nivat, M., Rattray, C., Rus, T., Scollo, G. (eds) Algebraic Methodology and Software Technology (AMAST’93). Workshops in Computing. Springer, London. https://doi.org/10.1007/978-1-4471-3227-1_28
Download citation
DOI: https://doi.org/10.1007/978-1-4471-3227-1_28
Publisher Name: Springer, London
Print ISBN: 978-3-540-19852-9
Online ISBN: 978-1-4471-3227-1
eBook Packages: Springer Book Archive