Results 1 to 10 of about 444,781 (162)
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 +3 more sources
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
A theory of regional conflict complexes [PDF]
Journal of Development Economics, 2018 Abstract Civil conflicts spill over into neighboring countries. This paper proposes a theory of the contagion of civil wars. Weak territorial control facilitates the emergence of a regional market for war inputs in the “porous frontier.” The contagion effect is nonlinear and creates multiple equilibrium situations of regional complexes of civil ...
Silve, Arthur, Verdier, Thierry
openaire +3 more sources
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
Regional Development Theory [PDF]
, 2009 This article offers a concise and selective overview of regional development theories. Starting from traditional regional growth theory, it introduces next findings from location and agglomeration theory, including infrastructure and network modeling. Next, innovation, entrepreneurship, and knowledge are addressed, and interpreted as critical success ...
Nijkamp, P., Abreu, M.
openaire +2 more sources
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
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