Advertisement

Communication as unification in the Petri Box Calculus

  • Hanna Klaudel
  • Elisabeth Pelz
Communications
Part of the Lecture Notes in Computer Science book series (LNCS, volume 965)

Abstract

A way of handling abstract data types in the Petri Box Calculus [BDH92] is proposed. Semantic objects are A-nets, a kind of algebraic nets with Boxe like interfaces. The synchronization operation on A-nets is discussed and some basic (non-trivial) algebraic properties of the synchronization with syntactic unification are shown.

Keywords

Parameterized Action Action Symbol Abstract Data Type Complex Data Structure Synchronization Operator 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [AR91]
    E. Astesiano and G. Reggio. Algebraic specification of concurrency. In Recent Trends in Data Type specification, LNCS 655, 1993.Google Scholar
  2. [BDE93]
    E. Best, R. Devillers, and J. Esparza. General refinement and recursion operators for the Petri Box Calculus. In STACS'93, LNCS 665, 1993.Google Scholar
  3. [BDH92]
    E. Best, R. Devillers, and J. Hall. The box calculus: a new causal algebra with multi-label communication. In Advances in PN-92, LNCS 609, 1992.Google Scholar
  4. [BF+95a]
    E. Best, H. Fleischhack, W. Fraczak, R.P. Hopkins, H. Klaudel, and E. Pelz. A Class of Composable High Level Petri Nets. To appear in ICPN-95, Torino, LNCS, June 1995.Google Scholar
  5. [BF+95b]
    E. Best, H. Fleischhack, W. Fraczak, R.P. Hopkins, H. Klaudel, and E. Pelz. A High Level Petri Net Semantics of B(PN) 2. To appear in WiC Springer, STRICT-95, Berlin, May 1995.Google Scholar
  6. [BH93]
    E. Best and R.P. Hopkins. B(PN)2 — A Basic Petri Net Programming Notation. In PARLE-93, LNCS 694, 1993.Google Scholar
  7. [Dev93]
    R. Devillers. On a more liberal synchronization operator for the Petri Box Calculus. LIT TR 281, Université Libre de Bruxelles, May 1993.Google Scholar
  8. [DK95]
    R. Devillers and H. Klaudel. Refinement and Recursion in a High Level Petri Box Calculus. To appear in WiC Springer, STRICT-95, Berlin, May 1995.Google Scholar
  9. [FK94]
    W. Fraczak and H. Klaudel. A multi-action synchronization schema and its application to the PBC. In ESDA-94, ASME, July 1994.Google Scholar
  10. [GTW78]
    J.A. Goguen, J.W. Thatcher, and E.G. Wagner. An initial algebra approach to the specification, correctness and implementation of abstract data types. In Current Trends in Programming Methodology, vol. 4, Prentice-Hall, 1978.Google Scholar
  11. [KP95]
    H. Klaudel and E. Pelz. Communication as Unification in the Petri Box Calculus. LRI TR 967, Université Paris-Sud, Orsay, April 1995.Google Scholar
  12. [Rei91]
    W. Reisig. Petri nets and algebraic specifications. TCS, vol. 80, 1991.Google Scholar
  13. [Vau87]
    J. Vautherin. Parallel systems specification with colored Petri nets and algebraic specification. In Advances in PN 1987, LNCS 266, 1987.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1995

Authors and Affiliations

  • Hanna Klaudel
    • 1
  • Elisabeth Pelz
    • 1
    • 2
  1. 1.Université Paris-SudOrsay
  2. 2.Université Paris-Val-de-MarneCréteil

Personalised recommendations