Skip to main content
SpringerLink
Log in

An environment for object-oriented conceptual programming based on PROT nets

  • Conference paper
  • First Online:
Advances in Petri Nets 1988 (APN 1987)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 340))

Included in the following conference series:

Abstract

This paper presents PROTOB, an object-oriented Computer Aided Software Engineering system based on high level Petri nets called PROT nets. It consists of several tools supporting specification, modelling and prototyping activities within the framework of the operational software life cycle paradigm. As its major application area it addresses discrete event dynamic systems, such as process control systems and communication protocols.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. W. Reisig. Petri nets for software engineering. In Petri Nets: Applications and relations to Other Models of Concurrency, pages 63–96, Springer-Verlag, Berlin, 1986.

    Google Scholar 

  2. P. Zave. The operational versus the conventional approach to software development. Comm. of the ACM, 27:104–118, February 1984.

    Google Scholar 

  3. G. Booch. Object oriented development. IEEE Trans. on Soft. Eng., SE-12:211–221, February 1986.

    Google Scholar 

  4. IEEE Computer special issue on visual programming. August 1985.

    Google Scholar 

  5. R. Balzer, T.E. Cheatham, and C. Green. Software technology in the 1990's: using a new paradigm. Computer, 16:39–45, November 1983.

    Google Scholar 

  6. T. De Marco. Structured analysis and system specification. Prentice Hall, 1979.

    Google Scholar 

  7. D. Hatley and I. Pirbhai. Strategies for real-time system specification. Dorset House Publishing, 1987.

    Google Scholar 

  8. P. Zave. An operational approach to requirement specification for embedded systems. IEEE Trans. on Soft. Eng., SE-8:250–269, May 1982.

    Google Scholar 

  9. V. Berzins and M. Gray. Analysis and design in MSG.84: formalizing functional specifications. IEEE Trans. on Soft. Eng., SE-11:657–670, August 1985.

    Google Scholar 

  10. IEEE Software special issue on CASE. March 1988.

    Google Scholar 

  11. K. Jensen. Coloured Petri nets and the invariant-method. Theoretical Comput. Sci., 14:317–336, 1981.

    Google Scholar 

  12. H.J. Genrich and K. Lautenbach. System modelling with high level Petri nets. Theoretical Comput. Sci., 13:109–136, 1981.

    Google Scholar 

  13. G. Bruno and G. Marchetto. Process-translatable Petri nets for the rapid prototyping of process control systems. IEEE Trans. on Soft. Eng., SE-12:346–357, February 1986.

    Google Scholar 

  14. G.R. Wheeler, M.C. Wilbur-Ham, J. Billington, and J.A. Gilmour. Protocol analysis using numerical Petri nets. In Advances in Petri nets 1985, pages 435–452, Springer-Verlag, Berlin, 1986.

    Google Scholar 

  15. J.M. Colom, M. Silva, and J.L. Villarroel. On software implementation of Petri nets and coloured Petri nets using high-level concurrent languages. In Proc. Application and Theory of Petri Nets, pages 207–241, Oxford, June 1986.

    Google Scholar 

  16. R.A. Nelson, L.M. Haibt, and P.B. Sheridan. Casting Petri nets into programs. IEEE Trans. on Soft. Eng., SE-9:590–602, September 1983.

    Google Scholar 

  17. G. Bruno and A. Balsamo. Petri net-based object-oriented modeling of distributed systems. In ACM Conf. on Object-oriented Programming, pages 284–293, Portland Oregon, October 1986.

    Google Scholar 

  18. G. Bruno and A. Elia. Extending the entity-relationship approach for dinamic modeling purposes. In 5th International Conference On Entity-Relationship Approach, pages 327–339, Dijon, France, November 1986.

    Google Scholar 

  19. G. Bruno and A. Elia. Operational specification of process control systems: execution of PROT nets using OPS5. In 10th World IFIP Congress, pages 35–40, Dublin, September 1986.

    Google Scholar 

  20. L. Brownston, R. Furrell, and E. Kant. Programming expert systems in OPS5. Addison Wesley, 1985.

    Google Scholar 

  21. R. Valette, M. Courvoisier, and D. Mayeux. Control of flexible production systems and Petri nets. In Informatik-Fachberichte 66: Application and Theory of Petri nets, pages 264–277, Springer-Verlag, Berlin, 1983.

    Google Scholar 

  22. J. Martinez, P. Muro, and M. Silva. Modeling, validation and software implementation of production systems using high level Petri nets. In IEEE Int. Conf. on Robotics and Automation, pages 1180–1185, Raleigh NC, March 1987.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Automatica e Informatica, Politecnico di Torino, 10129, Torino, Italy

    Marco Baldassari & Giorgio Bruno

Authors
  1. Marco Baldassari
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Giorgio Bruno
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Grzegorz Rozenberg

Rights and permissions

Reprints and permissions

Copyright information

© 1988 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Baldassari, M., Bruno, G. (1988). An environment for object-oriented conceptual programming based on PROT nets. In: Rozenberg, G. (eds) Advances in Petri Nets 1988. APN 1987. Lecture Notes in Computer Science, vol 340. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-50580-6_21

Download citation

  • DOI: https://doi.org/10.1007/3-540-50580-6_21

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-50580-8

  • Online ISBN: 978-3-540-46059-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation