OBJSA Nets: OBJ and Petri Nets for Specifying Concurrent Systems

This paper provides an intuitive presentation of OBJSA nets, a specification language which combines a specific class of Petri nets, namely Superposed Automata nets, and the well-known algebraic specification language OBJ. The presentation is particularly addressed to people confident with algebraic specification techniques and focuses on the composition mechanism which allows the designer to obtain the OBJSA specification of a system by combining the specifications of the system components.

[1]  Giancarlo Mauri,et al.  Semantics Frameworks for a Class of Modular Algebraic Nets , 1993, AMAST.

[2]  Klaus-Peter Löhr.  Concurrency annotations for reusable software , 1993, CACM.

[3]  Wolfgang Reisig,et al.  Petri Nets and Algebraic Specifications , 1991, Theor. Comput. Sci..

[4]  Rocco De Nicola,et al.  An Action-Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems , 1993, Comput. Networks ISDN Syst..

[5]  Kurt Jensen,et al.  Coloured Petri Nets , 1997, Monographs in Theoretical Computer Science An EATCS Series.

[6]  Giorgio De Michelis,et al.  Superposed Automata Nets , 1980, Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets.

[7]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[8]  Hartmut Ehrig,et al.  Fundamentals of Algebraic Specification 1 , 1985, EATCS Monographs on Theoretical Computer Science.

[9]  Wolfgang Reisig,et al.  Application and Theory of Petri Nets , 1982, Informatik-Fachberichte.

[10]  J. Meseguer.  Rewriting as a unified model of concurrency , 1990, OOPSLA/ECOOP '90.

[11]  Oliver Botti,et al.  An Incremental Specification of a Hydroelectric Power Plant Control Systems using a Class of Modular Algebraic Nets , 1995, Application and Theory of Petri Nets.

[12]  Luca Bernardinello,et al.  A survey of basic net models and modular net classes , 1992, Advances in Petri Nets: The DEMON Project.

[13]  Ugo Giovanni Erasmo Montanari,et al.  SELECTED PAPERS OF THE 2ND WORKSHOP ON CONCURRENCY AND COMPOSITIONALITY, SAN-MINIATO, ITALY, MARCH 1990 - PREFACE , 1992 .

[14]  E Fredkin,et al.  Project MAC Progress Report 11 , 1974 .

[15]  Eike Best,et al.  Esprit Basic Research Action 3148 DEMON (design methods based on nets) , 1992, Advances in Petri Nets: The DEMON Project.

[16]  Lucia Rapanotti,et al.  Morphisms and minimal models for OBJSA nets , 1991 .

[17]  Grzegorz Rozenberg,et al.  Concurrency and Nets , 1987, Springer Berlin Heidelberg.

[18]  Kurt Jensen.  High-Level Petri Nets , 1982, European Workshop on Applications and Theory of Petri Nets.

[19]  José Meseguer,et al.  Petri Nets Are Monoids , 1990, Inf. Comput..

[20]  Hartmann J. Genrich.  Predicate/transition nets , 1987 .

[21]  Wolfgang Reisig,et al.  The Semantics of a Net is a Net , 1987 .

[22]  Stefania Gnesi,et al.  The Integration Project for the JACK Environement , 1994 .

[23]  Giancarlo Mauri,et al.  OBJSA Nets: a Class of High- level Nets Having Objects as Domains , 1987, European Workshop on Applications and Theory of Petri Nets.