نتائج البحث

From Graphs to the Science Computer of a Space Telescope. The power of Petri Nets in Systems Engineering

• Authors : Graczyk, Rafal; Bujwan, Waldemar; Darmetko, Marcin ...

Subjects: Petri Net; Systems Engineering; Performance Modeling

• Source: urn:isbn:978-3-031-06652-8 ; urn:isbn:978-3-031-06653-5 ; From Graphs to the Science Computer of a Space Telescope. The power of Petri Nets in Systems Engineering

تفاصيل العنوان

SLAPn: A Tool for slicing Algebraic Petri nets

• Authors : Khan, Yasir Imtiaz; Guelfi, Nicolas

Subjects: Model checking; Meta model; Algebraic Petri nets

• Source: International Workshop on Petri Nets and Software Engineering (PNSE'14), Tunis June 2014, 23-06-2014 TO 27-06-2014

تفاصيل العنوان

Slicing High-level Petri nets

• Authors : Khan, Yasir Imtiaz; Guelfi, Nicolas

Subjects: Model checking; Slicing; Algebraic Petri nets

• Source: International Workshop on Petri Nets and Software Engineering (PNSE'14), Tunis June 2014, 20 (2014-06-23); International Workshop on Petri

تفاصيل العنوان

Optimizing algebraic petri net model checking by slicing

• Authors : Khan, Yasir Imtiaz; risoldi, matteo

Subjects: High-level Petri nets; Model checking; Slicing

• Source: International Workshop on Modeling and Business Environments (ModBE’13) in Milano, Italy, June 24, 2013., 20 (2013); International Workshop on Modeling and Business Environments (ModBE’13), June

تفاصيل العنوان

Survey of Petri nets Slicing

• Authors : Khan, Yasir Imtiaz; Guelfi, Nicolas

Subjects: Petri nets; Slicing; model checking

تفاصيل العنوان

Optimizing algebraic petri net model checking by slicing

• Authors : Khan, Yasir Imtiaz

Subjects: Algebraic Petri nets; Model checking; Slicing

تفاصيل العنوان

ESA Dragliner - Coulomb drag based telecommunication satellite deorbiting device

• Authors : Pyry, Peitso; Pekka Janhunen; Maria Genzer

Subjects: Low Earth Orbit; ESA; Dragliner

• Source: Winter Satellite Workshop 2024, Espoo Dipoli, Finland [FI], 17-19 January 2024

تفاصيل العنوان

Project DragLiner: Harnessing plasma Coulomb drag for satellite deorbiting to keep orbits clean

• Authors : Genzer, Maria; Janhunen, Pekka; Haukka, Harri

Subjects: Engineering; computing & technology; Ingénierie

• Source: EGU General Assembly 2023, Vienna, Austria [AT], from 23-4-2023 to 28-4-2023

تفاصيل العنوان

The effects of COVID-19-era unemployment and business closures upon the physical and mental health of older Europeans: Mediation through financial circumstances and social activity

• Authors : Settels, Jason; Böckerman, Petri

Subjects: Health; COVID-19; Lost work

• Source: SSM - Population Health (2023)

تفاصيل العنوان

Optimizing verification of structurally evolving algebraic petri nets

• Authors : Khan, Yasir Imtiaz

Subjects: Evolution; Model checking; Slicing

• Source: Lecture Notes in Computer Science, 8166 (2013-09-08); 5th International Workshop, SERENE 2013, from October 3-4, 2013

تفاصيل العنوان