Results 1 to 10 of about 427,138 (218)
Generation of Synchronizing State Machines from a Transition System: A Region–Based Approach
International Journal of Applied Mathematics and Computer Science, 2023 Transition systems (TSs) and Petri nets (PNs) are important models of computation ubiquitous in formal methods for modeling systems. A crucial problem is how to extract, from a given TS, a PN whose reachability graph is equivalent (with a suitable notion
Teren Viktor +2 more
doaj +1 more source
Mathematical Model for Production Plan Optimization—A Case Study of Discrete Event Systems
Mathematics, 2020 This paper proposes an optimal scheduling model under production and maintenance constraints for a real case of a discrete event system. The intent was to use the rich mathematical theory and algorithms of optimization in the study of this important ...
Sadok Rezig +3 more
doaj +1 more source
Economic Policy and Institutions of the Regional Development [PDF]
Экономика региона, 2019 The article considers the problems of improving the economic system and shaping the relevant rules and norms of economic activities in the context of the institutionalism’s growing importance. We analyse the possibility to use the «agreement theory» and
Vladimir Viktorovich Kayukov +2 more
doaj +1 more source
Socio-Economic and Environmental Issues in the Context of the Sustainable Development Theory of Russian Regions [PDF]
SHS Web of Conferences, 2021 Unevenness is a feature of sustainable development of Russian territories. It arises due to the impressive difference in the provision of natural resources, residents’ mentality, natural and climate factors, the infrastructure that has formed over the ...
Vasilchikov Alexey V. +3 more
doaj +1 more source
NeuroImage, 2021 Effective amygdalar functionality depends on the concerted activity of a complex network of regions. Thus, the role of the amygdala cannot be fully understood without identifying the set of brain structures that allow the processes performed by the ...
Melanie A. Matyi +3 more
doaj +1 more source
Evaluating and Measuring the Security of Russia’s Border Regions: Theory and Practice [PDF]
Baltic Region, 2018 The economic security of Russia’s regions has been the focus of numerous studies. Significant contributions have been made to relevant methodological approaches and measurement tools.
Voloshenko E.V., Voloshenko K. Yu.
doaj +1 more source
A Longitudinal Examination of the Effects of Social Support on Homicide Across European Regions [PDF]
International Journal of Conflict and Violence, 2015 Since its introduction, social support theory has received generally consistent empirical support. Tests of social support theory have, however, mostly been cross-sectional and restricted to U.S. and Western European analyses.
Kelly M. Thames, Patricia McCall
doaj +3 more sources
Theory of Regions for Control Synthesis without Computing Reachability Graph
Applied Sciences, 2017 This paper addresses the design of Petri net (PN) supervisor using the theory of regions for forbidden state problem with a set of general mutual exclusion constraints. In fact, as any method of supervisory control based on reachability graph, the theory
Sadok Rezig, Zied Achour, Nidhal Rezg
doaj +1 more source
Socio-Economic Potential of Regions – Theory and Practice
Folia Oeconomica Stetinensia, 2020 Research background: The paper refers to the social and economic potential of regions and their level of development. The crucial issue is not only how to measure the level of development but also their potential and what are the ways of defining this.
Filipiak Beata Zofia +1 more
doaj +1 more source
Compute Optimization of Petri Net Controllers Using the Algebraic Method
Applied Sciences, 2019 This study attempted to calculate an optimal Petri net supervisor able to respect the control specifications imposed for a flexible manufacturing system. There are several theories around the control synthesis of discrete event systems.
Sadok Rezig, Sadok Turki, Nidhal Rezg
doaj +1 more source