Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
Powiadomienia systemowe
  • Sesja wygasła!

Znaleziono wyników: 3

Liczba wyników na stronie
first rewind previous Strona / 1 next fast forward last
Wyniki wyszukiwania
help Sortuj według:

help Ogranicz wyniki do:
first rewind previous Strona / 1 next fast forward last
1
Content available remote Photometric Observations of LO Peg in 2014-2015
EN
We performed new observations of an ultra-fast rotator of the spectral class K - the LO Peg star - in SAO RAS in 2014 and in Zvenigorod Observatory of INASAN in 2015. The light curves were used to build the maps of temperature inhomogeneities on the LO Peg surface in order to determine the longitudes corresponding to the location of active regions. The obtained measurements suggest the ongoing evolution of movements of active regions and probably the cyclic character of such movements. According to our estimations, the area of the star surface covered with spots decreases and by now it reached 14% of the total visible area of its surface. New observations of the star in V filter allowed us to specify LO Peg long-term variability cycles. Based on spectropolarimetric observations of LO Peg the null result for measurements of mean longitudinal component of magnetic field is obtained.
2
Content available remote Some Considerations on Higher-Order Petri Nets
EN
This paper introduces higher-order Petri nets based on multiset rewriting. Some variations of the firing rule for high-level Petri nets following the nets-within-nets paradigm, i.e. allowing Petri nets as tokens, are discussed. All considerations keep in mind the possibile existence of a universal higher-order Petri net.
3
Content available remote Modelling with Hierarchical Object Petri Nets
EN
Fehling's hierarchical Petri nets are a net modelling framework based on refinement and abstraction of nets. Object Petri nets are a Petri net-based method of encapsulation. We bring these two domains together in the new concept of hierarchical object Petri nets. Defining hierarchical object Petri nets forces us to consider what it means to preserve synchronisation when abstracting or refining an object Petri net. The goal is to provide a sound theoretical basis for building computer tools to develop high-level Petri net models following the nets-within-nets paradigm.
first rewind previous Strona / 1 next fast forward last
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.