Remember Me
Or use your Academic/Social account:


Or use your Academic/Social account:


You have just completed your registration at OpenAire.

Before you can login to the site, you will need to activate your account. An e-mail will be sent to you with the proper instructions.


Please note that this site is currently undergoing Beta testing.
Any new content you create is not guaranteed to be present to the final version of the site upon release.

Thank you for your patience,
OpenAire Dev Team.

Close This Message


Verify Password:
Verify E-mail:
*All Fields Are Required.
Please Verify You Are Human:
fbtwitterlinkedinvimeoflicker grey 14rssslideshare1
Bordbar, Behzad; Giacomini, Luisa; Holding, David J. (2000)
Publisher: IEEE
Languages: English
Types: Unknown
Subjects: QA76
This paper presents a modification to UML, to model and analyse discrete-event\ud dynamic systems (DEDSs) representing Manufacturing systems. It shows how Petri Nets\ud can be used to improve the representation and analysis of the dynamic model of a system\ud specified using UML. Finally the technique is illustrated by its application to a simplified\ud production line.
  • The results below are discovered through our pilot algorithms. Let us know how we are doing!

    • Booch, G., Object-Oriented Design With Applications, Benjamin Cummings, 1991.
    • Booch, G., J. Rumbaugh and I. Jacobson, The Unified Modeling Language User Guide, Addison Wesley, 1999.
    • Cassandras, C.C., Lafortune, S.: Introduction to Discrete Event Systems. Kluwer Academic Publishers, 1999.
    • David, R. and H. Alla, Petri nets and Grafcet: Tools for modelling Discrete-event Systems, PrenticeHall, 1992.
    • Desrochers, A.A. and R.Y. Al-Jaar, Applications of Petri Nets in Manufacturing Systems, IEEE Press, 1995.
    • Douglass, B.P., Doing Hard Time. Developing RealTime Systems with UML, Objects, Frameworks, and Patterns, Addison Wesley, 1999.
    • Ellis, J.R., Objectifying Real-Time Systems, New York: SIGS Books, 1994.
    • Firesmith, D.G., Object Oriented Requirement Analysis and Logical design: A Software Engineering Approach, Wiley, 1993.
    • Harel, D.: Statecharts: A Visual Formalism for Complex Systems. Science of Computer Programming, Vol. 8, pp. 231--274, 1987.
    • Juan, E.Y.T., Tsai, J.J.P., Murata, T.,: Compositional verification of concurrent systems using Petri-netbased condensation rules. ACM Trans. on Programming Languages and Systems, Vol. 20, No. 5, pp. 917--979, 1998.
    • Murata, T., Petri Nets: properties, analysis and applications, Proceedings of the IEEE, vol. 77, No.4, pp. 541-580, 1989.
    • Peterson, J.L., Petri-net Theory and the Modelling of Systems, Prentice-Hall, 1981.
    • Ramadge, P.J., Wonham, W.M.: Supervisory control of a class of discrete event processes. SIAM Journal on Control & Optimization, vol.25, no.1 (1987) 206-230.
    • Rumbaugh, J., M. Blaha, W. Premerlani, F. Eddy and W. Lorenson, Object-Oriented Modelling and Design, Prentice-Hall, 1991.
    • Sobh, M., C.J. Owen, K.P. Valvanis. and D. Gracanin, A subject indexed bibliography of discrete-event dynamic systems, IEEE Robotics and Automation Magazine, Vol.1, No.2, pp. 14- 20, 1994.
  • No related research data.
  • No similar publications.

Share - Bookmark

Cite this article