Estimation of parallel algorithms efficiency based on modified Petri nets

2017 6th Mediterranean Conference on Embedded Computing (MECO) ◽

10.1109/meco.2017.7977131 ◽

2017 ◽

Author(s):

Alexey N. Ivutin ◽

Anna G. Troshina ◽

Dmitry O. Yesikov ◽

Sergey N. Vasiliev

Keyword(s):

Parallel Algorithms ◽

Download Full-text

Verifying Parallel Algorithms and Programs Using Coloured Petri Nets

Transactions on Petri Nets and Other Models of Concurrency VI - Lecture Notes in Computer Science ◽

10.1007/978-3-642-35179-2_7 ◽

2012 ◽

pp. 146-168 ◽

Author(s):

Michael Westergaard

Keyword(s):

Parallel Algorithms ◽

Coloured Petri Nets

Download Full-text

Petri nets

AccessScience ◽

10.1036/1097-8542.yb021270 ◽

2015 ◽

Keyword(s):

Download Full-text

Modeling behavior and performance of air traffic controllers using coloured petri nets

PsycEXTRA Dataset ◽

10.1037/e557102013-034 ◽

2012 ◽

Author(s):

Hardy Smieszek

Keyword(s):

Air Traffic ◽

Coloured Petri Nets ◽

Air Traffic Controllers ◽

And Performance ◽

Modeling Behavior

Download Full-text

Modeling Human-Robot Interaction with Petri-Nets

PsycEXTRA Dataset ◽

10.1037/e578522012-052 ◽

2009 ◽

Author(s):

Rosemarie Yagoda ◽

Michael D. Coovert

Keyword(s):

Human Robot Interaction ◽

Robot Interaction

Download Full-text

ESPNET: expert-system-based simulator of Petri nets

IEE Proceedings D Control Theory and Applications ◽

10.1049/ip-d.1988.0033 ◽

1988 ◽

Vol 135 (4) ◽

pp. 239 ◽

Author(s):

J. Duggan ◽

J. Browne

Keyword(s):

Expert System ◽

Download Full-text

Parallel algorithms and domain decomposition technologies for solving three-dimensional boundary value problems on quasi-structured grids

Сибирский журнал вычислительной математики ◽

10.15372/sjnm20160205 ◽

2016 ◽

Keyword(s):

Parallel Algorithms ◽

Domain Decomposition ◽

Boundary Value Problems ◽

Boundary Value ◽

Three Dimensional ◽

Structured Grids ◽

Dimensional Boundary

Download Full-text

Parallel algorithms for three-dimensional parabolic and pseudoparabolic problems with different boundary conditions

Nonlinear Analysis Modelling and Control ◽

10.15388/na.2014.3.5 ◽

2014 ◽

Vol 19 (3) ◽

pp. 382-395 ◽

Author(s):

Raimondas Čiegis ◽

◽

Olga Suboč ◽

Andrej Bugajev

Keyword(s):

Boundary Conditions ◽

Parallel Algorithms ◽

Three Dimensional ◽

Different Boundary Conditions

Download Full-text

A Reduction Method of Timed Petri Nets for a Hierarchical Scheduling

IEEJ Transactions on Electronics Information and Systems ◽

10.1541/ieejeiss1987.115.7_914 ◽

1995 ◽

Vol 115 (7) ◽

pp. 914-919

Author(s):

Kazuyuki Mori ◽

Makoto Tsukiyama ◽

Toyoo Fukuda

Keyword(s):

Reduction Method ◽

Timed Petri Nets ◽

Hierarchical Scheduling

Download Full-text

Modeling and Analyzing Component-Based Distributed Railway Interlocking System with Petri Nets

IEEJ Transactions on Industry Applications ◽

10.1541/ieejias.129.455 ◽

2009 ◽

Vol 129 (5) ◽

pp. 455-461 ◽

Author(s):

Xinhong Hei ◽

Sei Takahashi ◽

Hideo Nakamura

Keyword(s):

Download Full-text

Modeling of the time-cycle control system for technological processes equipment in pharmaceutical solid dosage manufacturing based on petri nets

Международный журнал Программные продукты и системы ◽

10.15827/0236-235x.113.170-179 ◽

2016 ◽

Vol 31 ◽

pp. 170-179

Author(s):

Д.Э.Я. Окаи ◽

D.E.Ya. Okai ◽

А.Ю. Клюшин ◽

A.Yu. Klyushin ◽

В.Н. Богатиков ◽

...

Keyword(s):

Control System ◽

Technological Processes ◽

Solid Dosage ◽

Download Full-text