A Petri-Net Approach to Refining Object Behavioural Specifications

Abstract

A Petri-Net Approach to Refining Object Behavioural Specifications

References

Authors

  • K.-S. Cheung
  • P. K.-O. Chow

Downloads

Issue

Vol. 33 No. 2 (2009)

Section

Special issue papers

License

Authors retain copyright in their work. By submitting to and publishing with Informatica, authors grant the publisher (Slovene Society Informatika) the non-exclusive right to publish, reproduce, and distribute the article and to identify itself as the original publisher.

All articles are published under the Creative Commons Attribution license CC BY 3.0. Under this license, others may share and adapt the work for any purpose, provided appropriate credit is given and changes (if any) are indicated.

Authors may deposit and share the submitted version, accepted manuscript, and published version, provided the original publication in Informatica is properly cited.

How to Cite

A Petri-Net Approach to Refining Object Behavioural Specifications. Informatica, 33(2). https://www.informatica.si/index.php/informatica/article/view/240