A Petri net approach for propagating probabilities and mass functions

This paper has a twofold concern. First, to show that probability propagation nets (PPNs) can be derived from formulae for conditional probabilities. Second, to show that PPNs are usable for (local) propagations of mass distributions, too, if the inscriptions are suitably adapted.

[1]  Richard E. Neapolitan,et al.  Probabilistic reasoning in expert systems - theory and algorithms , 2012 .

[2]  Rüdiger Grimm,et al.  Anforderungsanalyse für Risk-Management-Informationssysteme (RMIS) , 2009 .

[3]  Toshiaki Arai,et al.  Hybrid State Machines with Timed Synchronization for Multi-Robot System Specification , 2005, 2005 portuguese conference on artificial intelligence.

[4]  Sebastian Magnus,et al.  A public key infrastructure in ambient information and transaction systems , 2010 .

[5]  Rudolf Kruse,et al.  Uncertainty and vagueness in knowledge based systems: numerical methods , 1991, Artificial intelligence.

[6]  Stefan Stein,et al.  Entwicklung einer Architektur für komplexe kontextbezogene Dienste im mobilen Umfeld , 2008 .

[7]  Steffen Staab,et al.  Querying for meta knowledge , 2008, WWW.

[8]  Philipp Schaer,et al.  State-of-the-Art: Interaktion in Erweiterten Realitäten , 2007 .

[9]  Jürgen Ebert,et al.  A first proposal for an overall structure of an enhanced reality framework , 2007 .

[10]  Kurt Lautenbach,et al.  Logical Reasoning and Petri Nets , 2003, ICATPN.

[11]  Rüdiger Grimm,et al.  Rollenbasierte Zugriffskontrolle (RBAC) im Gesundheitswesen , 2007 .

[12]  Christoph Wernhard,et al.  Tableaux between proving, projection and compilation , 2007 .

[13]  David Poole,et al.  Probabilistic Horn Abduction and Bayesian Networks , 1993, Artif. Intell..

[14]  Steffen Staab,et al.  Networked RDF graphs , 2007 .

[15]  Prakash P. Shenoy,et al.  Local Computation in Hypertrees , 1991 .

[16]  Sebastian Magnus,et al.  Konzept einer public key infrastruktur in iCity , 2010 .

[17]  Luis Enrique Sucar,et al.  Introduction to Bayesian Networks and Influence Diagrams , 2012 .

[18]  Sylvia Valcárcel,et al.  Ein Stufenmodell für kollaborative offene Innovationsprozesse in Netzwerken kleiner und mittlerer Unternehmen mit Web 2.0 , 2010 .

[19]  Kurt Lautenbach,et al.  The Analysis of Distributed Systems by Means of Predicate ? Transition-Nets , 1979, Semantics of Concurrent Computation.

[20]  Mario Schaarschmidt,et al.  Social networking platforms as creativity fostering systems: research model and exploratory study , 2008 .

[21]  Lutz Priese,et al.  Some Examples of Semi-rational and Non-semi-rational DAG Languages , 2006 .

[22]  Frank Klawonn,et al.  On a Tool for Reasoning with Mass Distributions , 1991, IJCAI.

[23]  Hartmann J. Genrich Predicate/transition nets , 1987 .

[24]  Steffen Staab,et al.  Does a semantic desktop facilitate your daily tasks , 2008 .

[25]  Kurt Lautenbach,et al.  Probability propagation nets , 2007 .

[26]  Masaki Ogino,et al.  Getting closer: How Simulation and Humanoid League can benefit from each other , 2005, AMiRE.

[27]  Finn Verner Jensen,et al.  Introduction to Bayesian Networks , 2008, Innovations in Bayesian Networks.

[28]  Fachbereich Informatik,et al.  Finite Automata on Unranked and Unordered DAGs Extented Version , 2007 .

[29]  Harald F. O. von Kortzfleisch,et al.  Shared Annotation Model - Ein Datenmodell für kollaborative Annotationen , 2010 .

[30]  Sebastian Magnus,et al.  An Empirical Study to Evaluate the An Empirical Study to Evaluate the Location of Advertisement Panels by Location of Advertisement Panels by Using a Mobile Marketing Tool Using a Mobile Marketing Tool , 2009 .

[31]  Rüdiger Grimm,et al.  Lehramtsbezogene Bachelor- und Masterstudiengänge im Fach Informatik an der Universität Koblenz-Landau, Campus Koblenz , 2008 .

[32]  Frank Klawonn,et al.  Reasoning with Mass Distributions , 1991, UAI.

[33]  Achim Rettinger,et al.  Intelligent exploration for genetic algorithms: using self-organizing maps in evolutionary computation , 2008, GECCO '05.

[34]  Melanie Volkamer,et al.  Security Requirements for Non-political Internet Voting , 2006, Electronic Voting.

[35]  Ulrich Furbach,et al.  Applications of Automated Reasoning , 2006, KI.

[36]  Peter Baumgartner,et al.  Hyper Tableaux with Equality , 2007, CADE.

[37]  Anastasia Meletiadou,et al.  Begriffsbestimmung und erwartete Trends im IT-Risk-Management , 2007 .

[38]  Ulrich Furbach,et al.  Verification using Hybrid Automata Verification using Hybrid Automata , 2009 .

[39]  Steffen Staab,et al.  Collaborative creation of semantic points of interest as linked data on the mobile phone , 2010 .

[40]  Rüdiger Grimm,et al.  Entwurf eines Common Criteria-Schutzprofils für Router zur Abwehr von Online-Überwachung , 2009 .

[41]  Dietrich Paulus,et al.  Methods for polyp detection in colonoscopy videos: a review , 2008 .

[42]  Steffen Staab,et al.  A model of events based on a foundational ontology , 2009 .

[43]  B. Meyer,et al.  Tests and Proofs : Papers Presented at the Second International Conference TAP 2008 Prato , Italy , April 2008 , 2008 .

[44]  Steffen Staab,et al.  Adding Formal Semantics to MPEG-7: Designing a Well-Founded Multimedia Ontology for the Web , 2007 .

[45]  Petra Schubert,et al.  Open-Source-Software für das Enterprise Resource Planning , 2009 .

[46]  Steffen Staab,et al.  PAPEL: Syntax and Semantics for Provenance-Aware Policy Definition , 2010 .

[47]  Frieder Stolzenburg,et al.  Using Constraint Logic Programming for Modeling and Verifying Hierarchical Hybrid Automata , 2009 .

[48]  Kurt Lautenbach,et al.  A Petri net representation of Bayesian message flows: importance of Bayesian networks for biological applications , 2009, Natural Computing.

[49]  Joachim Baumeister,et al.  Knowledge Engineering and Software Engineering , 2005 .

[50]  Ansgar Scherp,et al.  Integration of Existing Multimedia Metadata Formats and Metadata Standards in the M3O , 2010, SAMT.

[51]  Andreas Winter,et al.  Metamodel-driven Service Interoperability , 2005 .

[52]  Kurt Lautenbach,et al.  S-Invariance in Predicate/Transition Nets , 1982, European Workshop on Applications and Theory of Petri Nets.

[53]  Oliver Obst,et al.  HTN Planning for Flexible Coordination Of Multiagent Team Behavior , 2005 .

[54]  Frank Schmitt,et al.  BMBF-Verbundprojekt 3D-RETISEG , 2007 .

[55]  Judea Pearl,et al.  Probabilistic reasoning in intelligent systems - networks of plausible inference , 1991, Morgan Kaufmann series in representation and reasoning.

[56]  Claudia Schon,et al.  Linkless normal form for ALC concepts , 2010 .

[57]  Steffen Staab,et al.  Unterstützung und Dokumentation kollaborativer Entwurfs- und Entscheidungsprozesse , 2008 .

[58]  R. Kruse,et al.  SPECIALIZATION—A NEW CONCEPT FOR UNCERTAINTY HANDLING WITH BELIEF FUNCTIONS , 1990 .

[59]  Steffen Staab,et al.  Model-driven Generation of APIs for OWL-based Ontologies , 2010 .

[60]  Harald F. O. von Korflesch,et al.  Modularität als alternative Technologie- und Innovationsstrategie , 2007 .

[61]  M. Santos,et al.  Einsatz von "Shared In-situ Problem Solving" Annotationen in kollaborativen Lern- und Arbeitsszenarien , 2010 .

[62]  Jürgen Ebert,et al.  Web Engineering does profit from a Functional Approach , 2005 .

[63]  Steffen Staab,et al.  Integrated mobile visualization and interaction of events and POIs , 2010, ACM Multimedia.

[64]  Kevin Read,et al.  CAMPUS NEWS - Artificial Intelligence Methods Combined for an Intelligent Information Network , 2007, AmI Workshops.

[65]  Jürgen Ebert,et al.  Ein Referenzschema für die Sprachen der IEC 61131 , 2008 .

[66]  Kurt Lautenbach,et al.  Reproducibility of the Empty Marking , 2002, ICATPN.

[67]  Ansgar Scherp,et al.  Unlocking the semantics of multimedia presentations in the web with the multimedia metadata ontology , 2010, WWW '10.

[68]  Jürgen Ebert,et al.  The STOR component system interim report , 2009 .

[69]  Lutz Priese,et al.  Automatische See-Through Kalibrierung , 2007 .

[70]  Ulrich Furbach,et al.  Knowledge Compilation for Description Logics , 2007, KESE.

[71]  Ulrich Furbach,et al.  Hybrid Multiagent Systems with Timed Synchronization - Specification and Model Checking , 2007, PROMAS.

[72]  Categorization and recognition of ontology refactoring pattern , 2010 .

[73]  Jörg Rudolf Müller Dualität und Analyse von formalen Modellen: Prädikat/Transitions-Netze und ihr Bezug zur linearen Algebra , 2004 .

[74]  Andreas von Hessling Semantic User Profiles and their Applications in a Mobile Environment , 2004 .