Drawing the Line: Basin Boundaries in Safe Petri Nets

Haar, Stefan; Paulevé, Loı̈c; Schwoon, Stefan

doi:10.1007/978-3-030-60327-4_17

Cited by 2 publications

(1 citation statement)

References 21 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Using a bounded unfolding prefix, all reachable attractors [3] can be extracted. Also, we have exhibited ( [11]) the particular shape of basins that are visible in a concurrent model.…”

Section: Introductionmentioning

confidence: 96%

Avoid One's Doom: Finding Cliff-Edge Configurations in Petri Nets

Aguirre-Samboní

Haar

Paulevé

et al. 2022

Electron. Proc. Theor. Comput. Sci.

Self Cite

View full text Add to dashboard Cite

A crucial question in analyzing a concurrent system is to determine its long-run behaviour, and in particular, whether there are irreversible choices in its evolution, leading into parts of the reachability space from which there is no return to other parts. Casting this problem in the unifying framework of safe Petri nets, our previous work [3] has provided techniques for identifying attractors, i.e. terminal strongly connected components of the reachability space, whose attraction basins we wish to determine. Here, we provide a solution for the case of safe Petri nets. Our algorithm uses net unfoldings and provides a map of all of the system's configurations (concurrent executions) that act as cliff-edges, i.e. any maximal extension for those configurations lies in some basin that is considered fatal. The computation turns out to require only a relatively small prefix of the unfolding, just twice the depth of Esparza's complete prefix.

show abstract

“…Using a bounded unfolding prefix, all reachable attractors [3] can be extracted. Also, we have exhibited ( [11]) the particular shape of basins that are visible in a concurrent model.…”

Section: Introductionmentioning

confidence: 96%

Avoid One's Doom: Finding Cliff-Edge Configurations in Petri Nets

Aguirre-Samboní

Haar

Paulevé

et al. 2022

Electron. Proc. Theor. Comput. Sci.

Self Cite

View full text Add to dashboard Cite

show abstract

Analysing the Swing Equation using MATLAB Simulink for Primary Resonance, Subharmonic Resonance and for the case of Quasiperiodicity

Sofroniou,

Premnath

2024

Wseas Transactions on Circuits and Systems

View full text Add to dashboard Cite

The swing equation plays a significant role in the analysis of stability and frequency response various power systems and mechanical systems. MATLAB Simulink simulates and analyses different systems, including synchronous generators with various excitation methods. This research aims to study the swing equation by modelling the system in Simulink. Swing equation analysis can be applied to tackle power instabilities in the electrical grid, to avoid power outages by monitoring the small disturbances that occur within the system. This paper shows the time series, phase portraits, and Poincar´e maps generated using data from the simulated model. It highlights the occurrence of period doublings which lead to loss of synchronisation and the resulting instability in the system that descends into chaos when the variables are changed in the Simulink model. The integrity diagrams were also identified for primary resonance, subharmonic resonance, and quasiperiodicity, offering valuable information to understand the system’s nonlinear behaviour. Using the swing equation in MATLAB Simulink provides a robust tool for analysing, simulating, and optimising systems. Hence this study provides an enhanced understanding of the system’s behaviour in Simulink for primary resonance, subharmonic resonance and for the case of quasiperiodicity. Additionally, it validates the analytical and numerical findings from prior works by the same authors.

show abstract

Drawing the Line: Basin Boundaries in Safe Petri Nets

Cited by 2 publications

References 21 publications

Avoid One's Doom: Finding Cliff-Edge Configurations in Petri Nets

Avoid One's Doom: Finding Cliff-Edge Configurations in Petri Nets

Analysing the Swing Equation using MATLAB Simulink for Primary Resonance, Subharmonic Resonance and for the case of Quasiperiodicity

Contact Info

Product

Resources

About