NDLI: CASE application of colored Petri nets to development of a distributed scheduling system

Content Provider	IEEE Xplore Digital Library
Author	Nakata, T. Ootsuki, J.T. Sekiguchi, T.
Copyright Year	2000
Description	Author affiliation: Div. of Electr. & Comput. Eng., Yokohama Nat. Univ., Japan (Nakata, T.; Ootsuki, J.T.; Sekiguchi, T.)
Abstract	Floor level control systems such as scheduling and production monitoring systems differ from conventional software systems of plant, once they are highly integrated with the physical production system. Similarly to sequential control systems, the plant and the control system may not be considered independently, once both are mutually dependent. This is an extremely complex issue specially when dealing with the integration of the plant floor level with other higher levels of the system also when dealing with new requirement of safety, variety and speed. This work proposes a modeling technique based on colored Petri nets (CPN) which allows not only the hierarchical modeling of data and material flow in the system on the same model, but also with clear division and representation of interactions among the production and data handling components. Advantages of the authors' CASE (computer aided software engineering) modeling technique are demonstrated by applying it to the development of a distributed scheduling and monitoring system of a multi-layer PCB board production line. The generated plant model was used to the analysis and evaluation of the production process. The same model was used for the proposal and validation of a distributed and dynamic scheduling system, and also a production monitoring system. The proposed approach may also be used for allowing a smooth of the integration of plant floor level with higher level control and administrative systems.
Starting Page	319
Ending Page	324
File Size	460215
Page Count	6
File Format	PDF
ISBN	0780358120
DOI	10.1109/ICIT.2000.854171
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2000-01-19
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Computer aided software engineering Petri nets Production systems Level control Monitoring Control systems Application software Software systems Safety Flow production systems
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Design of parallel and distributed systems with high-level Petri nets using CASE technology

Proving correctness of distributed algorithms using high-level Petri nets-a case study

Modeling and control information flow for a CIM system using colored Petri nets

Synthesis rules for colored Petri nets and their applications to automated manufacturing systems

From Use Cases to Building Monitoring Systems through Petri Nets

Colored Petri Nets formal transformation to B machines for safety critical software development

Hybrid control systems: A design case study

Analysis of real-time distributed systems: a case study (of robot juggling system)

Safety requirements and p-time Petri nets: A Level Crossing case study

CASE application of colored Petri nets to development of a distributed scheduling system

Similar Documents

Design of parallel and distributed systems with high-level Petri nets using CASE technology

Proving correctness of distributed algorithms using high-level Petri nets-a case study

Modeling and control information flow for a CIM system using colored Petri nets

Synthesis rules for colored Petri nets and their applications to automated manufacturing systems

From Use Cases to Building Monitoring Systems through Petri Nets

Colored Petri Nets formal transformation to B machines for safety critical software development

Hybrid control systems: A design case study

Analysis of real-time distributed systems: a case study (of robot juggling system)

Safety requirements and p-time Petri nets: A Level Crossing case study

CASE application of colored Petri nets to development of a distributed scheduling system