Parameterised robotic system meta-model expressed by Hierarchical Petri nets

Robotics and Autonomous Systems ◽

10.1016/j.robot.2021.103987 ◽

2022 ◽

pp. 103987

Author(s):

Maksym Figat ◽

Cezary Zieliński

Keyword(s):

Robotic System ◽

Download Full-text

Robotic System Specification Methodology Based on Hierarchical Petri Nets

IEEE Access ◽

10.1109/access.2020.2987099 ◽

2020 ◽

Vol 8 ◽

pp. 71617-71627 ◽

Author(s):

Maksym Figat ◽

Cezary Zielinski

Keyword(s):

Robotic System ◽

System Specification ◽

Specification Methodology

Download Full-text

Reliability analysis of complex robotic system using Petri nets and fuzzy lambda‐tau methodology

Engineering Computations ◽

10.1108/02644401011029925 ◽

2010 ◽

Vol 27 (3) ◽

pp. 354-364 ◽

Author(s):

S.P. Sharma ◽

N. Sukavanam ◽

Naveen Kumar ◽

Ajay Kumar

Keyword(s):

Reliability Analysis ◽

Download Full-text

An ASM Meta-model for Petri Nets with Timing

Operational Semantics for Timed Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-540-32008-1_14 ◽

2005 ◽

pp. 141-159

Author(s):

Heinrich Rust

Keyword(s):

Download Full-text

AutoNet: Meta-model for Seamless Integration of Timed Automata and Colored Petri Nets

Computer Information Systems and Industrial Management - Lecture Notes in Computer Science ◽

10.1007/978-3-030-47679-3_26 ◽

2020 ◽

pp. 307-319

Author(s):

Muhammad Waqas Ahmad ◽

Muhammad Waseem Anwar ◽

Farooque Azam ◽

Yawar Rasheed ◽

Usman Ghani ◽

...

Keyword(s):

Timed Automata ◽

Colored Petri Nets ◽

Seamless Integration ◽

Download Full-text

Distributed Cooperative Systems Meta-Model for Maintenance Using Petri Nets and Multi-Agent Systems

First International Conference on Distributed Frameworks for Multimedia Applications ◽

10.1109/dfma.2005.23 ◽

2005 ◽

Author(s):

D. Saint-Voirin ◽

C. Lang ◽

N. Zerhouni

Keyword(s):

Cooperative Systems ◽

Multi Agent Systems ◽

Agent Systems ◽

Download Full-text

1272: Do Younger Physicians Acquire Laparoscopic Skills Faster than their Senior Colleagues? Influence of the Davinci Robotic System

The Journal of Urology ◽

10.1016/s0022-5347(18)38497-0 ◽

2004 ◽

Vol 171 (4S) ◽

pp. 335-335

Author(s):

David A. Anderson ◽

David S. Wang

Keyword(s):

Robotic System ◽

Laparoscopic Skills

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