yusuke1997/dblp-id-title huggingface dataset:
Practice for planning and realization of advanced industrial robot systems
PISA: Next Generation of Flexible Assembly Systems - From Initial Ideas to Industrial Prototypes
Using a Piezo-Resistive Tactile Sensor for Detection of Incipient Slippage
A Co-simulation Framework for Design, Test and Parameter Optimization of Robotic Systems
RANSAM for Industrial Bin-Picking
Natural language programming of industrial robots
Large-scale assembly of solar power plants with parallel cable robots
A feedback control system for a rapid production process based on robotic welding deposition
A robot-camera hand/eye self-calibration system using a planar target
3D Pendulum Swinging Control by an Industrial Robot Manipulator
A Flexible Real-Time Control System for Autonomous Vehicles
Treading new water with a fully automatic sewer inspection system
Remote manipulator systems for pyroprocessing facility application
Towards a bistable morphing winglet for unmanned aerial vehicle(UAV)
RGB-D camera-based hand shape recognition for human-robot interaction
End-effector obstacle avoidance using multiple dynamic variables
Development of a screw drive in-pipe robot for passing through bent and branch pipes
Development of Robots for the Pipeline Industry
Fish-Inspired Swimming Simulation and Robotic Implementation
Application of Pseudo-Elastic Wire for Hybrid Cutting Robotic Tool
Design and development of biodegradable bacterial-based microrobot for anti-tumour therapy
Control of an octa-copter from modeling to experiments
Hybrid Robot Gripper and Tools for Handling and Bonding Micro Fluidic Chips
VFH based obstacle avoidance system for leader-following formation control
Towards Human-Like Bipedal Locomotion with Three-Segmented Elastic Legs
Control of a lower limb exoskeleton using GRF estimation
An Autonomous Robotized System for a Thermographic Camera
Robot Machining with additional 3-D-Piezo-Actuation-Mechanism for Error Compensation
A new spherical wrist for minimally invasive robotic surgery
Conception and development of Dexto: Eka: The humanoid robot - Part III
Spherical ultrasonic motor for pipe inspection robot
Programming by demonstration by optical tracking system for dual arm robot
Development of Micro-force Sensors for Testing Applications in Micro- and Nanorobotics
Robot Program Validation using Virtualization, Components, and Physics Engines
A Stationary Sensor System to Support Manipulators for Safe Human-Robot Interaction
When to assist? - Modelling human behaviour for hybrid assembly systems
A self-propelled robotic colonoscope using elastic caterpillars
Master device for needle insertion-type interventional robotic system
Realization of Thermal Coating and Mechanical Compacting Processes based on industrial Multi Robot Systems
How to represent a repetitive control system in the state space
Robotics for human exploration
Design of a hybrid wheeled-legged robot - WheeHy
Camera Calibration for Reliable Object Manipulation in Care-Providing Robot FRIEND
Vision Based Far-Range Perception and Traversability Analysis using Predictive Probability of Terrain Classification
A RRT-based motion planning of dual-arm robot for (Dis)assembly tasks
Implementation of joint space trajectory planning using RTO swith considering velocity constraints for mobile robots
Robot cutting in ship building industry - A new flexible approach for linking parametric design and fully automatic robot programming
The control of contact forces as related to safe robot/human interaction
UMTS One Way Delay Characterization for Mobile Robot Teleoperation
AUV Pipeline Following using Reinforcement Learning
Automatic Layered 3D Reconstruction of Simplified Object Models for Grasping
Integral Modelling of Objects for Service Robotic Systems
Vision-based automatic real time inspection of power transmission line
A study on inspection robot wheel to pass an obstacle on a four conductor transmission line
High Performance Optical Flow Serves Bayesian Filtering for Safe Human-Robot Cooperation
Proceedings of the Sixth International Workshop on Petri Nets and Performance Models, PNPM 1995, Durham, NC, USA, October 3-6, 1995
Giving a net semantics to Markovian process algebra
Modeling Interprocess Communication in Distributed Programs
Fast Bounds for Stochastic Petri Nets
Time Domain Analysis of NMSPNs with Preemptive Repeat Identical Type Transitions
"On-the-fly" solution techniques for stochastic Petri nets and extensions
The Design of a Unified Package for the Solution of Stochastic Petri Net Models
Analysis of large GSPN models: a distributed solution tool
On Petri Nets with Stochastic Timing
A Structural Colour Simplification in Well-Formed Coloured Nets
On state space decomposition for the numerical analysis of stochastic Petri nets
Logic Simulation with Interval-Labelled Net Model
On Open Synchronized Queuing Networks
On the efficient sequential and distributed generation of very large Markov chains from stochastic Petri nets
Modeling of hybrid systems using continuous and hybrid Petri nets
Petri Net Modelling of Occam Programs for Detecting Indeterminacy, Non-termination and Deadlock Anomalies
Proceedings of the Second International Workshop on Petri Nets and Performance Models, PNPM 1987, Madison, Wisconsin, USA, August 24-26, 1987
Decidability of the strict reachability problem for TPN's with rational and real durations
Stochastic Petri Net Analysis of a Replicated File System
Analysis of deterministic and stochastic Petri nets
Performance and formal design: a process algebraic perspective
From Basic to Timed Net Models of Occam: An Application to Program Placement
Dependability Assessment of an Industrial Programmable Logic Controller via Parametric Fault-Tree and High level Petri Net
Fluid Stochastic Petri Nets Augmented with Flush-out Arcs: Numerical Solution Techniques
Computing response time distributions using stochastic Petri nets and matrix diagrams
Computing bounds for the performance indices of quasi-lumpable stochastic well-formed nets
GSPNs versus SPNs: What is the Actual Role of Immediate Transitions?
Petri nets for modelling and evaluating deterministic and stochastic manufacturing systems
A fourth-order algorithm with automatic stepsize control for the transient analysis of DSPNs
Colored GSPN Models and Automatic Symmetry Detection
Simulation of Timed Petri Nets by Ordinary Petri Nets and Applications to Decidability of the Timed Reachability Problem and other Related Problems
PAREDE: An Automated Tool for the Analysis of Time(d) Petri Nets
On scalable net modeling of OLTP
Modeling of FMS under Uncertainty Using Stochastic Petri Nets
Modeling networks of molecular interactions in the living cell: structure, dynamics, and applications
A Parallel Algorithm for Computing Invariants of Petri Net Models
Estimating the Mean Cycle Time for Stochastic Safe Marked Graphs
Tight Polynomial Bounds for Steady-State Performance of Marked Graphs
Validation and performance analysis of network algorithms by coloured Petri nets
A Method of Abstraction for Petri Nets
Extensions to Coloured Petri Nets
What a Structural World
Möbius: Framework and Atomic Models
Calculation of Semi-Flows for Pr/T-Systems
On the Efficient Construction of the Tangible Reachability Graph of Generalized Stochastic Petri Nets
On the Pertinence of the Extended Time Petri Net Model for Analyzing Communication Activities
Constructive modelling and design basic research within the European QMIPS-project
Performability Evaluation of Distributed Systems Using Stochastic Activity Networks
Fixed point iteration using stochastic reward nets
Stochastic Activity Networks: Structure, Behavior, and Application
Robust Models for the Performance Evaluation of Software/Hardware Designs
Numerical analysis of superposed GSPNs
Structurally Bounded Stochastic Petri Nets
A methodology for formal expression of hierarchy in model solution
Performance Analysis of Task Systems Using a Queueing Network Model
Many-Sorted High-Level Nets
Performance evaluation of dynamic priority operating systems
The fluid stochastic Petri net simulator
Colored Stochastic Petri Nets
Computational algorithms for product-form of competing Markov chains
A characterization of independence for competing Markov chains with applications to stochastic Petri nets
Proceedings of the Third International Workshop on Petri Nets and Performance Models, PNPM 1989, Kyoto, Japan, December 11-13, 1989
Stochastic Petri Net Modeling for Dependability Evaluation of Complex Computer Systems
Building Petri net scenarios for dependable automation systems
Alternative Methods for Incorporating Non-exponential Distributions into Stochastic Timed Petri Nets
On Petri Net-Based Modeling Paradigms for the Performance Analysis of Wireless Internet Accesses
Hierarchical structuring of superposed GSPNs
A data structure for the efficient Kronecker solution of GSPNs
On Periodic Schedules for Deterministically Timed Petri Net Systems
Quantitative evaluation of discrete event systems: Models, performances and techniques
Stochastic Petri net semantics for stochastic process algebras
Performance evaluation with asynchronously decomposable SWN: implementation and case study
The implications of industrial systems' complexity on methodologies for system design and evaluation
On the Construction of Abstract GSPNS: An Exercise in Modeling
Queueing Petri Nets-A formalism for the combined qualitative and quantitative analysis of systems
Equivalence and Aggregation of GSPNs with Labeled Transitions
Exploiting stochastic process algebra achievements for generalized stochastic Petri nets
On non-ergodic infinite-state stochastic Petri nets
Aggregation and reduction techniques for hierarchical GCSPNs
Performance Petri Net Analysis of Communications Protocol Software by Delay-Equivalent Aggregation
A Decomposition Approach for Stochastic Petri Net Models
Performance Evaluation and Validation of Tool Handling in Flexible Manufacturing Systems Using Petri Nets
Timed and Stochastic Petri Nets: From the Validation to the Performance of Synchronization Schemes
Timed Petri Net Peformance Models of Fiber Optics LAN Architectures
Througput Upper Bounds for Markovian Petri Nets: Embedded Subnets and Queueing Networks
Stochastic Petri Nets with Simultaneous Transition Firings
Reduced Base Model Construction Methods for Stochastic Activity Networks
Stochastic Petri Net Modeling of VAXcluster System Availability
Regenerative Simulation of Stochastic Petri Nets
Proceedings of the 5th International Workshop on Petri Nets and Performance Models, PNPM 1993, Toulouse, France, October 19-22, 1993
Proceedings of the 8th International Workshop on Petri Nets and Performance Models, PNPM 1999, Zaragoza, Spain, September 8-10, 1999
Generalized Stochastic Petri Nets Revisitied: Random Switches and Priorities
An Application of Laplace Transform Techniques to the Analysis of Timed Petri Nets
A reactive real-time systems modelling and programming aid tool based on the synchronous Petri nets formalism
A characterization of the stochastic process underlying a stochastic Petri net
ESP - A Package for the Evaluation of Stochastic Petri Nets with Phase-Type Distributed Transition Times
On Phased Delay Stochastic Petri Nets: Definition and an Application
TimeNET-a toolkit for evaluating non-Markovian stochastic Petri nets
The Cost of Eliminating Vanishing Markings from Generalized Stochastic Petri Nets
Combining Queueing Network and Generalized Stochastic Petri Net Models for the Analysis of a Software Blocking Phenomenon
Conflict sets in colored Petri nets
Petri Net Modelling - The Past, the Present, and the Future
Multiple Enabledness of Transitions in Petri Nets with Time
A Divide and Conquer Approach for the Performance Evaluation of Large Stochastic Petri Nets
On Stochastic High-Level Petri Nets
Estimation methods for stochastic Petri nets based on standardized time series
Petri Net based Performance Evaluation of USAIA's Bandwidth Partitioning for the Wireless Cell Level
Stochastic modeling using DSPNexpress
Modeling a scalable high-speed interconnect with stochastic Petri nets
Can Skeletons Really be Used to Detect Deadlocks of Nets?
Optimal Control Policies for Automated Storage/Retrieval System Using P N Model and Stochastic Optimization
Discrete-state and fluid stochastic petri net models for open-loop video-on-demand systems: a comparative case study
A comparison of performance evaluation process algebra and generalized stochastic Petri nets
One-dependent cycles and passage times in stochastic Petri nets
Performance evaluation of IEEE 802.11 wireless LANs with stochastic Petri nets
Simulation Based Performance Analysis of Web Servers
Formal relation of Markov renewal theory and supplementary variables in the analysis of stochastic Petri nets
Algorithms for the generation of state-level representations of stochastic activity networks with general reward structures
The Algorithm of a Synthesis Technique for Concurrent Systems
An approach to formalize structural decomposition and aggregation for stochastic reward net models
Optimal control of (min, +) linear time-varying systems
Toward a Definition of Modeling Power for Stochastic Petri Net Models
Compact Representations of Probability Distributions in the Analysis of Superposed GSPNs
TiPNet: a graphical tool for timed Petri nets
Throughput approximation of decision free processes using decomposition
Automated Construction of Compound Markov Chains from Generalized Stochastic High-Level Petri Nets
Neural Petri Nets
State space construction and steady-state solution of GSPNs on a shared-memory multiprocessor
Dealing with Arbitrary Time Distributions with the Stochastic Timed Petri Net Model - Application to Queueing Systems
The Möbius Modeling Tool
Evaluation of high level Petri nets by means of aggregation and decomposition
Time Warp simulation of timed Petri nets: sensitivity of adaptive methods
Characterization of timed well-formed Petri nets behavior by means of occurrence equations
Modeling and Analysis of Threshold Queues with Hysteresis using Stochastic Petri Nets: the Monoclass Case
A Timed Petri Net Model and Simulation of a Dataflow Computer
Functional and Performance Analysis Using Extended Time Petri Nets
Overview of the Results of the Esprit Basic Research Action DEMON - Design Methods Based on Nets
Performance Evalutaion of Systems of Cyclic Sequential Processes with Mutual Exclusion an Communication by Buffers Using Timed Petri Nets
State class timed automaton of a time Petri net
On the structural and behavioural characterization of P/T nets
Asymptotic analysis of heaps of pieces and application to timed Petri nets
Steady-state analysis of infinite stochastic Petri nets: comparing the spectral expansion and the matrix-geometric method
Approximate Performability Analysis using Generalized Stochastic Petri Nets
Time & Clocks & Task Management
A discrete time model for performance evaluation and correctness verification of real time systems
Distributed semi-Markov processes in stochastic T-timed Petri nets
sPBC: A Markovian Extension of Finite Petri box calculus
Synthesizing Synchronous Digital VLSI Controllers Using Petri Nets
Stationary analysis of FSPNs with mutually dependent discrete and continuous parts
New primitives for interlaced memory policies in Markov regenerative Stochastic Petri Nets
Discrete-event simulation of fluid stochastic Petri nets
Preemptive repeat identical transitions in Markov regenerative stochastic Petri nets
A Reachability Graph Construction Algorithm Based on Canonical Transition Firing Count Vectors
GSPN Models of Multiserver Multiqueue Systems
Exact Results in the Aggregation and Disaggregation of Stochastic Petri Nets
Panel: Applications of Performance Petri Nets
Towards a simplified building of time Petri Nets reachability graph
Structured solution of stochastic DSSP systems
Aggregation Methods in Exact Performance Analyssi of Stochastic Petri Nets
Algorithms for product-form stochastic Petri nets-A new approach
Time Warp Simulation of Stochastic Petri Nets
Properties and Steady-State Performance Bounds for Petri Nets with Unique Repetitive Firing Count Vector
Approximate mean value analysis technique for non-product form solution stochastic Petri nets: an application to stochastic marked graphs
Througput Lower Bounds for Markovian Petri Nets: Transformation Techniques
A Necessary and Sufficient Saturation Condition for Open Synchronized Queueing Networks
On Bounds for Token Probabilities in a Class of Generalized Stochastic Petri Nets
Fluid stochastic Petri nets: An extended formalism to include non-Markovian models
A Class of Petri Nets and a Reachability Problem Solvable in Deterministic Polynomial Time
Operational analysis of timed Petri nets and application to the computation of performance bounds
On the rational use of Petri nets, automata and the max algebra for the optimal control of DEDS
GSPN analysis of dual-band mobile telephony networks
Reachability and Temporal Conflicts in t-Time Petri Nets
Proceedings of the 9th International Workshop on Petri Nets and Performance Models, PNPM 2001, Aachen, Germany, September 11-14, 2001
A Simulation Model of a Uniform Interface for Layered Protocol Architectures
Hierarchical Modeling of Software Systems with Timed Petri Nets
A structure based decomposition approach for GSPN
A Generalized Timed Petri Net Model for Performance Analysis
Timed Places Petri Nets with Stochastic Representation of Place Time
Performability Modeling with UltraSAN
Automated time scale decomposition and analysis of stochastic Petri nets
On non-decidability of reachability for timed-arc Petri nets
Performance Evaluation Using Unbounded Timed Petri Nets
Signal Graphs: From Self-Timed to Timed Ones
A Stochastic Petri Net Model for Ethernet
Analysis of the Generalized Stochastic Petri Nets by State Aggregation
Reliability analysis of a redundant database for UMTS systems
Fast simulation of rare events in stochastic Petri nets
Searching Best Paths to Worst States
On the relations between BCMP queueing networks and product form solution stochastic petri nets
Stochastic Marked Graphs
Modeling software systems with rejuvenation, restoration and checkpointing through fluid stochastic Petri nets
Tree Network Performance Analysis Using Monte Carlo Simulation of Performance Petri Nets
GSPN Models of Concurrent Architectures with Mesh Topology
Legal Firing Sequence and Related Problems of Petri Nets
Matrix Product Form Solution for Closed Synchronized Queuing Networks
Concurrent Generalized Petri Nets: Regenerative Conditions
Efficient Solution of GSPNs using canonical Matrix Diagrams
Free Choice Simulation of Petri Nets
A general iterative technique for approximate throughput computation of stochastic marked graphs
Embedded Processes in Generalized Stochastic Petri Nets
Stepwise refinements of net models and their place invariants
GSPN modelling methods for performance and dependability evaluation of a real-life flexible manufacturing system
Timing analysis for synthesis of hardware interface controllers using timed signal transition graphs
SPNP: Stochastic Petri Net Package
Scenario durations characterization of t-timed Petri nets using linear logic
Performance prediction of a reconfigurable high voltage substation simulator: a case study using SWN
Definition of the model-"Stochastic timed well formed coloured nets"
Clarifying the priority specification of GSPN: Detached priorities
Tools of General Net Theory (abstract)
Performance queries on semi-Markov stochastic Petri nets with an extended continuous stochastic logic
Proceedings of the Seventh International Workshop on Petri Nets and Performance Models, PNPM 1997, Saint Malo, France, June 3-6, 1997
Reliability Modeling of the MARS System: A Case Study in the Use of Different Tools and Techniques
Sensitivity analysis of Markov regenerative stochastic Petri nets
UltraSAN version 3 overview
An Improved Numerical Algorithm for Calculating Steady-State Solutions of Deterministic and Stochastic Petri Net Models
Performance Evaluation of Job Operation Flows in Computer Systems by Timed Petri Nets
A Timed Petri Net Methodolgoy for Specifying Real-Time System Timing Requirements
A mapping of autonomous net condition event systems to GSPNs
Throughput Bounds for Generalized Stochastic Petri Net Models
Performance evaluation of a consensus algorithm with Petri nets
Numerical analysis of stochastic marked graph nets
DEAMON: A Tool for Performance-Availability Evaluation of Distributed Systems Based on Function Nets
Non equivalence between time Petri nets and time stream Petri nets
On Specifying Performance Aspects of Protocol Services
Aggregation and disaggregation in product form queueing Petri Nets
An Event-Driven-Net Model of a Multiprocessor System
Exploiting Petri nets to support fault tree based dependability analysis
SWN Models of a Contact Center: a Case Study
Performability Analysis of Parallel and Distributed Algorithms
Modelling Layered Protocols in LOOPN
Aggregation of States in Colored Stochastic Petri Nets: Application to a Multiprocessor Architecture
GSPN semantics for queueing networks with blocking
Performance optimization of event graphs modeling manufacturing systems
Satellite Protocol Modeling by Synchronous Predicate Transition Nets
Modeling computer systems evolutions: non-stationary processes and stochastic Petri nets-application to dependability growth
Implicit places in net systems
Proceedings of the 10th International Workshop on Petri Nets and Performance Models, PNPM 2003, Urbana-Champaign, IL, USA, September 2-5, 2003
Parallel architectures with regular structure: A case study in modelling using stochastic well-formed coloured Petri nets
Integrated frameworks for multi-level and multi-formalism modeling
Synthesis of GSPN models for workload mapping on concurrent architectures
SWN client-server composition operators in the OsMoSys framework
A Comparison of the Expressiveness of SPA and Bounded SPN Models
GSPN models of ATM switches
Petri net model of a dynamically partitioned multiprocessor system
Performance Model of Interference Avoidance Policy Using Stochastic Petri Nets
Numerical evaluation of a group-oriented multicast protocol using stochastic activity networks
Performance evaluation of non-Markovian stochastic event graphs
A Software Package for the Analysis of Generalized Stochastic Petri Net Models
Efficient simulation of SWN models
Systematic Construction of Functional Abstractions of Petri Net Models of Typical Components of Flexible Manufacturing Systems
Subnetwork Time Distributions as a Means for Multilevel Evaluation of Generalized Stochastic Petri Nets
Computational algorithms for product form solution stochastic Petri nets
An efficient well-specified check
Timed Petri net models of multithreaded multiprocessor architectures
Combining Generalized Stochastic Petri Nets and PERT Networks for the Performance Evaluation of Concurrent Progress
TOMSPIN-a Tool for Modelling with Stochastic Petri Nets
Transient analysis of Markov regenerative stochastic Petri nets: a comparison of approaches
The Möbius Execution Policy
Superposed Stochastic Automata: A Class of Stochastic Petri Nets Amenable to Parallel Solution
GSPN analysis of ABR in ATM LANs
Transient analysis of superposed GSPNs
Stochastic Net Model for Self-Stability Measures of Fault Tolerant Clock Synchronization
Performance Evaluation Using Extended Petri Nets
Checking time Petri nets for linear duration properties
Timed Event Graphs: A Complete Study of Their Controlled Executions
Proceedings of the Fourth International Workshop on Petri Nets and Performance Models, PNPM 1991, Melbourne, Victoria, Australia, December 2-5, 1991
International Workshop on Timed Petri Nets, Torino, Italy, July 1-3, 1985
On the success of stochastic Petri nets
Using the probabilistic evaluation tool for the analytical solution of large Markov models
Solving the biobjective selective pickup and delivery problem with memetic algorithm
Agent-based dispatching in groupage traffic
An agent-based approach to simulate production, degradation, repair, replacement and preventive maintenance of manufacturing systems
The integrated lot-sizing and vehicle routing problem
A bi-objective inventory routing problem by considering customer satisfaction level in context of perishable product