Development of Factory-Automation-Cell Control Language Based on Petri Nets.
نویسندگان
چکیده
منابع مشابه
Designing Gesture-Based Control for Factory Automation
We report the development and evaluation of a gesture-based interaction prototype for controlling the loading station of a factory automation system. In this context, gesture-based interaction has the potential to free users from the tedious physical controls but it must also account for safety considerations and users’ perceptions. We evaluated the gesture interaction concept in the field to u...
متن کاملDFL: A dataflow language based on Petri nets
In this paper we propose DFL— a formal, graphical workflow language for dataflows, i.e., workflows where large amounts of complex data are manipulated, and the structure of the manipulated data is reflected in the structure of the workflow. It is a common extension of (1) Petri nets, which are responsible for the organization of the processing tasks, and (2) nested relational calculus, which is...
متن کاملSupervisory Control of Petri Nets with Language Specifications
In this chapter we discuss how Petri nets can be used in the framework of supervisory control theory. A discrete event system is defined in such a theory as a language generator: this motivates the need to start the chapter with a short but self-contained introduction to Petri net languages. We consider the monolithic supervisory design that requires to construct the concurrent composition of t...
متن کاملControl of continuous Petri nets using ON/OFF based method
Continuous Petri Nets (CPN) can be used to approximate classical discrete Petri nets which suffer from the state explosion problem. In this paper we focus on the control of timed CPN (TCPN), aiming to drive the system from an initial state to a desired final one. This problem is similar to the set-point control problem in a general continuous-state system. In a previous work, a simple and effic...
متن کاملDecentralized Control of Petri Nets
Supervision based on place invariants (SBPI) is an efficient technique for the supervisory control of Petri nets. In this paper we propose extensions of the SBPI to a decentralized control setting. In our setting, a decentralized supervisor consists of local supervisors, each controlling and observing a part of the Petri net. We consider both versions of decentralized control, with communicatio...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of the Robotics Society of Japan
سال: 1999
ISSN: 0289-1824,1884-7145
DOI: 10.7210/jrsj.17.649