Composition of Logical Petri Nets and Compatibility Analysis
نویسندگان
چکیده
منابع مشابه
Logical Reasoning and Petri Nets
The main result of the paper states that a set F of propositionallogic formulas is contradictory iff in all net representations of F the empty marking is reproducible.
متن کاملMulti-logical Fuzzy Petri Nets
This paper introduces a new method of empowering Logical Petri Nets (LPN) and Fuzzy Logical Petri Nets (FLPN) [1] using multiple logic. In this paper we proposed a Multi-Logical Petri Nets (MLPN) and Multi-Logical Fuzzy Petri Nets (MLFPN) based on Logical Petri Nets (LPN) and Fuzzy Logical Petri Nets (FLPN). Here we have showed that, how multiple logic is implemented in MLPN and MLFPN. The prop...
متن کاملSoccer Goalkeeper Task Modeling and Analysis by Petri Nets
In a robotic soccer team, goalkeeper is an important challenging role, which has different characteristics from the other teammates. This paper proposes a new learning-based behavior model for a soccer goalkeeper robot by using Petri nets. The model focuses on modeling and analyzing, both qualitatively and quantitatively, for the goalkeeper role so that we have a model-based knowledge of the ta...
متن کاملComposition of Functional Petri Nets
Functional Petri nets and subnets are introduced and studied for the purpose of speed-up of Petri nets analysis with algebraic methods. The authors show that any functional subnet may be generated by a composition of minimal functional subnets. They propose two ways to decompose a Petri net: via logical equations solution and with an ad-hoc algorithm, whose complexity is polynomial. Then proper...
متن کاملPetri Nets Applicability to Music Analysis and Composition
This paper addresses the adoption of Petri Nets (PNs) in order to describe music processes. On the one hand, such formalism can be used to represent the results coming from the analysis of already existing music works. On the other hand, Petri Nets provide a formal tool to generate new music pieces. This paper is the evolution of an earlier work presented at CMMR 2005, where analytical and desc...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Access
سال: 2017
ISSN: 2169-3536
DOI: 10.1109/access.2017.2695558