English
Related papers

Related papers: Dialectica Fuzzy Petri Nets

200 papers

We give a characterization of colored Petri nets as monoidal double functors. Framing colored Petri nets in terms of category theory allows for canonical definitions of various well-known constructions on colored Petri nets. In particular,…

Category Theory · Mathematics 2025-10-09 Jade Master , Joe Moeller

Hierarchical Petri nets allow a more abstract view and reconfigurable Petri nets model dynamic structural adaptation. In this contribution we present the combination of reconfigurable Petri nets and hierarchical Petri nets yielding…

Discrete Mathematics · Computer Science 2018-02-14 Julia Padberg

Real-world phenomena often exhibit vagueness, partial truth, and incomplete information. To model such uncertainty in a mathematically rigorous way, many generalized set-theoretic frameworks have been introduced, including Fuzzy Sets [1],…

Artificial Intelligence · Computer Science 2026-03-18 Takaaki Fujita , Florentin Smarandache

Regarding the rapid growth of the size and complexity of simulation applications, designing applicable and affordable verification and validation (V&V) structures is an important problem. On the other hand, nowadays human behavior models…

Computers and Society · Computer Science 2013-03-07 M. Kouzehgar , M. A. Badamchizadeh , S. Khanmohammadi

Aiming at the group decision - making problem with multi - objective attributes, this study proposes a group decision - making system that integrates fuzzy inference and Bayesian network. A fuzzy rule base is constructed by combining…

Artificial Intelligence · Computer Science 2025-05-01 Shui-jin Rong , Wei Guo , Da-qing Zhang

Event structures are a well-accepted model of concurrency. In a seminal paper by Nielsen, Plotkin and Winskel, they are used to establish a bridge between the theory of domains and the approach to concurrency proposed by Petri. A basic role…

Logic in Computer Science · Computer Science 2023-06-22 Paolo Baldan , Roberto Bruni , Andrea Corradini , Fabio Gadducci , Hernan Melgratti , Ugo Montanari

The involvement of uncertainty of varying degrees when the total of the membership degree exceeds one or less than one, then the newer mathematical paradigm shift, Fuzzy Theory proves appropriate. For the past two or more decades, Fuzzy…

General Mathematics · Mathematics 2007-05-23 W. B. Vasantha Kandasamy , Florentin Smarandache

Since categories are graphs with additional "structure", one should start from fuzzy graphs in order to define a theory of fuzzy categories. Thus is makes sense to introduce categories whose morphisms are associated with a plausibility…

Logic in Computer Science · Computer Science 2014-10-07 Apostolos Syropoulos

We formalise a general concept of distributed systems as sequential components interacting asynchronously. We define a corresponding class of Petri nets, called LSGA nets, and precisely characterise those system specifications which can be…

Logic in Computer Science · Computer Science 2015-07-01 Rob J. van Glabbeek , Ursula Goltz , Jens-Wolfhard Schicke-Uffmann

Description Logics (DLs) are appropriate, widely used, logics for managing structured knowledge. They allow reasoning about individuals and concepts, i.e. set of individuals with common properties. Typically, DLs are limited to dealing with…

Artificial Intelligence · Computer Science 2016-11-17 Haibin Wang , Andre Rogatko , Florentin Smarandache , Rajshekhar Sunderraman

This paper is devoted to the use of hybrid Petri nets (PNs) for modeling and control of hybrid dynamic systems (HDS). Modeling, analysis and control of HDS attract ever more of researchers' attention and several works have been devoted to…

Information Theory · Computer Science 2007-07-13 Latéfa Ghomri , Hassane Alla

Closure operators are very useful tools in several areas of classical mathematics and in general category theory. In fuzzy set theory, fuzzy closure operators have been studied by G. Gerla (1966). These works generally define a fuzzy subset…

Category Theory · Mathematics 2016-11-26 Joaquin Luna-Torres

An orthogonal approach to the fuzzification of both multisets and hybrid sets is presented. In particular, we introduce L-multi-fuzzy and L-fuzzy hybrid sets, which are general enough and in spirit with the basic concepts of fuzzy set…

Logic in Computer Science · Computer Science 2012-08-14 Apostolos Syropoulos

In dealing with veracity of data analytics, fuzzy methods are more and more relying on probabilistic and statistical techniques to underpin their applicability. Conversely, standard statistical models usually disregard to take into account…

Statistics Theory · Mathematics 2019-12-23 Elvira Di Nardo , Rosaria Simone

We present theoretical rudiments of Petri nets over ontological graphs as well as the designed and implemented Python toolkit for dealing with such nets. In Petri nets over ontological graphs, the domain knowledge is enclosed in a form of…

Artificial Intelligence · Computer Science 2025-04-14 Krzysztof Pancerz

Robot reliability has become an increasingly important issue in the last few years due to increased application of robots in many industries (like automobile industry) under hazardous and unstructured environment. As the component failure…

Optimization and Control · Mathematics 2009-07-21 Ajay Kumar , S. P. Sharma , Dinesh Kumar

New concepts of rough natural number systems are introduced in this research paper from both formal and less formal perspectives. These are used to improve most rough set-theoretical measures in general Rough Set theory (\textsf{RST}) and…

Logic · Mathematics 2014-08-07 A. Mani

Petri Nets (PN) are a central, theoretically sound model for concurrent or distributed systems but, at least in their classical definition, not expressive enough to represent dynamic reconfiguration capabilities. On the other side,…

Logic in Computer Science · Computer Science 2021-11-17 Lorenzo Capra

Prediction of multi-dimensional labels plays an important role in machine learning problems. We found that the classical binary labels could not reflect the contents and their relationships in an instance. Hence, we propose a multi-label…

Machine Learning · Computer Science 2023-02-22 Dayong Tian , Feifei Li , Yiwen Wei

The approach described here allows to use the fuzzy Object Based Representation of imprecise and uncertain knowledge. This representation has a great practical interest due to the possibility to realize reasoning on classification with a…

Artificial Intelligence · Computer Science 2012-06-13 Mohamed Nazih Omri