Détail de la notice
Titre du Document
Managing petri nets in MOF repositories
Auteur(s)
DOS SANTOS Hélio L. ; MACIEL Paulo R. M. ; ROSA Nelson S. ; ...
Résumé
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.
Editeur
Springer
Type du document
Conférence : OTM Confederated International Conferences, Agia Napa, CYP, 2005-10-31
Identifiant
ISSN : 0302-9743 ISBN : 3-540-29736-7
Source
Lecture notes in computer science A. 2005, vol. 3761, pp. 1381-1397 [17 pages] [bibl. : 1 p.1/4] [nb. vol. : 2]
Langue
Anglais
Pour les membres de la communauté du CNRS, ce document est autorisé à la reproduction à titre gratuit.
Pour les membres des communautés hors CNRS, la reproduction de ce document à titre onéreux sera fournie sous réserve d’autorisation du Centre Français d’exploitation du droit de Copie.

Pour bénéficier de nos services (strictement destinés aux membres de la communauté CNRS (Centre National de la Recherche Scientifique), de l'ESR français (Enseignement Supérieur et Recherche), et du secteur public français & étranger) :