Abstract
The necessity of interoperability among Petri net tools has led to the development of the PNML (Petri Net Markup Language) standard. By adopting PNML, tools mainly concentrated on modeling activities should generate PNML files to be analyzed by analysis-specific Petri net tools. In this context, we propose an extension to the PNML based on MOF (Meta Object Facility). The implementation of the MOF metamodel enables us to manager Petri net specifications within MOF repositories. In order to illustrate our approach, we present a case study.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Anderson, R., Birbeck, M., Kay, M., et al.: Professional XML. Wrox Press Ltda (2000)
Ahmed, K., Ayers, D., et al.: Professional XML Metadata. Wrox Press Ltda, UK (2001)
Billington, J., et al.: The Petri Net Markup Language: Concepts, Technology, and Tools. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol. 2679, pp. 483–505. Springer, Heidelberg (2003)
Breton, E., Bézivin, J.: Towards an understanding of a model executability. In: FOIS 2001 – Formal Ontology in Information Systems, Ogunquit, Maine, USA (October 2001)
Dedic, S., Matula, M.: Metamodel for the Java language (2002), http://java.netbeans.org/models/java/java-model.html
DMof – An OMG Meta Object Facility Implementation (June 2001), http://www.dstc.edu.au/Products/CORBA/MOF/
Jungel, M., Kindler, E., Weber, M.: The Petri Net Markup Language. In: Philippi, S. (ed.) Proceedings of AWPN 2000 - 7thWorkshop Algorithmen und Werkzeuge für Petrinetze, Research Report 7/2000, Institute for Computer Science, University of Koblenz, Germany, pp. 47–52 (2000)
Java Metadata Interface, JSR-40 (March 2002), Home Page, http://java.sun.com/aboutJava/communityprocess/jsr/jsr_040_jolap.html
Kindler, E., Weber, M.: The Petri Net Kernel: An infrastructure for building Petri Net tools. In: 20th International Conference on Application and Theory of Petri Nets. Petri Net Tool Presentations, Williamsburgs, USA (June 1999)
Marco, D., Inmon, W.H.: Building and Managing the Metadata Repository. John Wiley & Sons, Inc., New York (2000)
Marsan, A.M., Galbo, G., Bobbio, A., Chiola, G., Conte, G., Cumani, A.: On the Petri Nets with Stochastic Timing. In: Internation Workshop on Timed Petri Nets, Torino, Italy. IEEE press, Los Alamitos (1985)
Sun Microsystems. Metadata Repository Home (2002), http://mdr.netbeans.org/
Merlin, P.M., Faber, D.J.: Recoverability of Communication Protocol Implications of Theoretical Study. IEEE Transaction Communication COM-24 (September 1976)
OMG Meta Object Facility Specification, Version 1.3. (September 1999), http://www.dstc.edu.au/Research/Projects/MOF/rtf/ , http://www.omg.org/
Moloy, M.K.: On the Integration of Delay and Throughput Measures in Distributed Processing Models. PhD thesis. UCLA, USA (1981)
Poole, J., Chang, D., Tolbert, D., Mellor, D.: Common Warehouse Metamodel: An Introduction to the Standard for Data Warehouse Integration. John Willey & Sons, Inc., New York (2001)
Peterson, J.L.: Petri Net Theory and the Modeling of Systems. Prentice-Hall, Englewood Cliffs (1981)
Reisig, W.: Petri Nets. An Introduction. Monographs on Theoretical Computer Science, vol. 4. Springer, Heidelberg (1985)
Ramchandani.: Analysis of Asynchronous Concurrent Systems by Timed Petri Net. Techinical Report n 120, Laboratory of Computer Science. MIT, Cambridge
Rozenberg, G., Reisig, W.: Informal Introduction to Petri Nets. Lecture Notes on Petri Nets I: Basic Models. Springer, Heidelberg (1998)
Rozenberg, G., Engelfriet, J.: Elementary Net Systems. Lecture Notes on Petri Nets I: Basic Models. Springer, Heidelberg (1998)
Santos, H.: A metadata solution based on MOF and XML. M.Sc. Dissertation - Centro de Informática/UFPE. Portuguese (March 2003)
Santos, H., Barros, R., Fonseca, D.: A Proposal for Management of XML and DTD Metadata in MOF. In: Proc. 18th Brazilian Symposium on Database, Manaus, Brazil. Portuguese (October 2003)
Santos, H., Barros, R., Fonseca, D.: A Proposal for Management of RDF and RDF Schema Metadata in MOF. In: Meersman, R., Tari, Z., Schmidt, D.C. (eds.) CoopIS 2003, DOA 2003, and ODBASE 2003. LNCS, vol. 2888, pp. 1014–1031. Springer, Heidelberg (2003)
Tannenbaum, A.: Metadata Solutions: Using Metamodels, Repositories, XML and Enterprise Portals to Generate Information on Demand. Addison Wesley, New York (2002)
OMG Unified Modeling Language Specification, Version 1.4 (September 2001), http://cgi.omg.org/docs/formal/01-09-67.pdf
Object Management Group, XML Metadata Interchange Specification, Version 1.1 (June 2000), http://www.omg.org/
Zuberek, W.M.: Timed Petri Nets: Definitions, Properties and Applications. Microeletronic and Reliability 31(4) (1991)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
dos Santos, H.L., Maciel, P.R.M., Rosa, N.S., Barros, R.S.M. (2005). Managing Petri Nets in MOF Repositories. In: Meersman, R., Tari, Z. (eds) On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE. OTM 2005. Lecture Notes in Computer Science, vol 3761. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11575801_28
Download citation
DOI: https://doi.org/10.1007/11575801_28
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-29738-3
Online ISBN: 978-3-540-32120-0
eBook Packages: Computer ScienceComputer Science (R0)