BibSonomy publications for /concept/tag/petriFri Jul 18 12:09:16 CEST 2008Electr. Notes Theor. Comput. Sci.435-52Semantics and Verification of Data Flow in UML 2.0 Activities1272005diagrams UML activity net flowgraph data petri Thu Jun 19 17:46:40 CEST 2008Discrete and Continuous Dynamical Systems: Series BFebruary1275--287Evaluation of a discrete dynamic systems approach for modeling the hierarchical relationship between genes, biochemistry, and disease susceptibility42004genetic nets gene-gene Petri algorithms, evolution, interactions, programming, grammatical epistasis, A central goal of human genetics is the identification of combinations of DNA sequence variations that increase susceptibility to common, complex human diseases. Our ability to use genetic information to improve public health efforts to diagnose, prevent, and treat common human diseases will depend on our ability to understand the hierarchical relationship between complex biological systems at the genetic, cellular, biochemical, physiological, anatomical, and clinical endpoint levels. We have previously demonstrated that Petri nets are useful for building discrete dynamic systems models of biochemical networks that are consistent with nonlinear gene-gene interactions observed in epidemiological studies. Further, we have developed a machine learning approach that facilitates the automatic discovery of Petri net models thus eliminating the need for human-based trial and error approaches. In the present study, we evaluate this automated model discovery approach using four different nonlinear gene-gene interaction models. The results indicate that our model-building approach routinely identifies accurate Petri net models in a human-competitive manner. We anticipate that this general modeling strategy will be useful for generating hypotheses about the hierarchical relationship between genes, biochemistry, and measures of human health.Thu Jun 19 17:35:00 CEST 2008Decision Support Systems405--428A Flexible Knowledge Discovery System using Genetic Programming and Logic Grammars312001Discovery genetic programming, in Petri Nets algorithms, Fuzzy Databases, Logic Grammars, Knowledge As the computing world moves from the information age into the knowledge-based age, it is beneficial to induce knowledge from the information super highway formed from the Internet and intranet. The knowledge acquired can be expressed in different knowledge representations such as computer programs, first-order logical relations, or Fuzzy Petri Nets (FPNs). In this paper, we present a flexible knowledge discovery system called GGP (Generic Genetic Programming) that applies genetic programming and logic grammars to learn knowledge in various knowledge representation formalisms. An experiment is performed to demonstrate that GGP can discover knowledge represented in FPNs that support fuzzy and approximate reasoning. To evaluate the performance of GGP in producing good FPNs, the classification accuracy of the fuzzy Petri net induced by GGP and that of the decision tree generated by C4.5 are compared. Moreover, the performance of GGP in inducing logic programs from noisy examples is evaluated. A detailed comparison to FOIL, a system that induces logic programs, has been conducted. These experiments demonstrate that GGP is a promising alternative to other knowledge discovery systems and sometimes is superior for handling noisy and inexact data.Thu Jun 05 18:27:12 CEST 2008Anaheim, CA, USAACST'07: Proceedings of the third conference on IASTED International Conference128--133Transformation methodology for UML 2.0 activity diagram into colored Petri nets2007transformation petri net diagrams colored activity UML model Mon Apr 28 17:31:13 CEST 2008Journal of Theological Studies98-105Les citations de la 'Prédication de Pierre' dans Clément d'Alexandrie, Strom. VI.V.39-41251974Alexandria Kerygma Clemens Stromateis Petri Mon Apr 28 17:09:03 CEST 2008TübingenNeutestamentliche Apokryphen in deutscher Übersetzung II534-41Das Kerygma Petri1989Petri Kerygma Mon Mar 10 09:21:31 CET 2008Chichester, UK, UKJ. Field Robot.8-9763--777Multi-objective exploration and search for autonomous rescue robots: Research Articles242007simulation plan usarsim rescue petri Mon Jan 28 16:49:09 CET 2008The Semantic Web: Research and Applications284--298Reusing Petri Nets Through the Semantic Web2004read imported owl semanticweb ontology av:attached petri net The paper presents the Petri net ontology that should enable sharing Petri nets on the Semantic Web. Previous work on formal methods for representing Petri nets mainly defines tool-specific Petri net descriptions (i.e. metamodels) or formats for Petri net model interchange (i.e. syntax). However, such efforts do not provide a suitable model description for using Petri nets on the Semantic Web. This paper uses the Petri net UML model as a starting point for implementing the Petri net ontology. The UML model is then refined using the Protégé ontology development tool and the Ontology UML profile. Resulting Petri net models are represented on the Semantic Web is using XML-based ontology representation languages, Resource Description Framework (RDF) and Web Ontology Language (OWL). We implemented a Petri net software tool as well as tools for the Petri net Semantic Web infrastructure. ER -Sun Jan 27 20:36:36 CET 2008Knowledge-Based Systems#aug#4220--234Petri net ontology192006petri toread net proj:o4p semanticweb ontology The paper presents the Petri net ontology that enables sharing Petri nets on the Semantic Web. Previous work on formal methods for representing Petri nets mainly defines tool-specific descriptions or formats for model interchange. However, such efforts do not provide a suitable description for using Petri nets on the Semantic Web. This paper uses the Petri net UML model as a starting point for implementing the ontology. Resulting Petri net models are represented on the Semantic Web using XML-based ontology languages, RDF and OWL. We implemented a Petri net tool, P3, which can be used as a knowledge acquisition tool based on the Petri net ontology.Sun Jan 27 20:35:41 CET 2008International Journal of Web Engineering and Technology374-396(23)Interoperable Petri net models via ontology38 July 2007imported proj:o4p toread net ontology petri The paper presents a Petri net infrastructure that should allow sharing Petri nets on the Semantic Web. Previous solutions only provide model interchange mechanisms between Petri net tools. The Petri net ontology is a central part of our solution. The ontology is closely related to the Petri Net Markup Language PNML an ongoing Petri net community sharing effort. We developed the Petri net ontology using both UML and the Protege tool, whereas we use RDF and OWL to represent the ontology. We implemented a Petri net software tool P3 that can be used to convert the Petri net ontology compliant models to the formats of current Petri net tools e.g., DaNAMiCS, Petri Net Kernel, PIPE using eXtensible Stylesheet Language Transformations XSLT. In order to show how the ontology can be used, we developed a simple educational web application that uses RDF-annotated ontology-based Petri net learning materials.Thu Mar 09 08:15:35 CET 2006{Proceedings of TACAS'98 (Tools and Algorithms for the Construction and Analysis of Systems)}March{102--117}{Lecture Notes in Computer Science}{Combining Finite Automata, Parallel Programs and SDL Using Petri Nets.}{1384}{1998}system Parallel programs, Finite M-nets, Verification. nets, PEP, automata, Hybrid SDL, Petri B(PN)$^2$, design, This paper introduces a method to combine finite automata, parallel programs and SDL (Specification and Description Language) specifications. We base our approach on M-nets exploiting the rich set of composition operators available in this algebra of high-level Petri nets. In order to be able to combine different modelling techniques, we rely on compatible interfaces. Therefore, \begin{itemize} \item we extend an existing semantics, namely the M-net semantics for the parallel programming language B(PN)$^2$; and \item we present an M-net semantics for finite automata. \end{itemize} Considering the hybrid modelling of an ARQ (Automatic Repeat reQuest) protocol, we show how the different formalisms fit together as well as the resulting verification possibilities. As a side-effect we describe on-going development of the PEP tool (Programming Environment based on Petri Nets). As a consequence of our approach we are introducing a hierarchical `programming with nets' method which is currently implemented in the high-level Petri net editor of the tool. Thu Mar 09 08:15:35 CET 2006Theoretical Computer ScienceDecember3311--324Remarks on blind and partially blind one-way multicounter machines71978blind closed intersection quasirealtime theory; partially machines; automata formal multicounter set; least Petri languages; nondeterministic digital net semiAFL; arithmetic; Dyck Thu Mar 09 08:15:35 CET 2006Theoretical Computer ScienceJanuary1--23--48Nets, time and space1531996computation; chrono-topology; control; measurement; law; security variable nets; Petri precision continuous limit net modelling; realistic observation; construction compilation; continuity theory; physics; problems; logic; Thu Mar 09 08:15:35 CET 20062Petrinetze1986nets, concurrency, processes, Petri partial, semantics