Y. Nagao, T. Yamauchi, H. Ohta, H. Urabe, S. Matsuura, S. Kumagai, S. Kodama
{"title":"基于Petri网的FMS编程系统","authors":"Y. Nagao, T. Yamauchi, H. Ohta, H. Urabe, S. Matsuura, S. Kumagai, S. Kodama","doi":"10.1109/IECON.1990.149183","DOIUrl":null,"url":null,"abstract":"A programming system, called K-NET, for the development of control software for FMS is described. K-NET is based on a Petri net, which makes it simple to express operational functions such as synchronization, interlock, and concurrency in sequence controls, K-NET uses a stochastic high-level Petri net in which tokens can have attributes, and which can provide notions of time and probability. K-NET can support all development stages including general design, detailed design, programming, and testing. K-NET has been used in the development of control software for an automated guided vehicle system, and results show a significant cost-saving over development with conventional methods in which only a procedural language is used.<<ETX>>","PeriodicalId":253424,"journal":{"name":"[Proceedings] IECON '90: 16th Annual Conference of IEEE Industrial Electronics Society","volume":"57 2 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1990-11-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"18","resultStr":"{\"title\":\"Petri net based programming system for FMS\",\"authors\":\"Y. Nagao, T. Yamauchi, H. Ohta, H. Urabe, S. Matsuura, S. Kumagai, S. Kodama\",\"doi\":\"10.1109/IECON.1990.149183\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"A programming system, called K-NET, for the development of control software for FMS is described. K-NET is based on a Petri net, which makes it simple to express operational functions such as synchronization, interlock, and concurrency in sequence controls, K-NET uses a stochastic high-level Petri net in which tokens can have attributes, and which can provide notions of time and probability. K-NET can support all development stages including general design, detailed design, programming, and testing. K-NET has been used in the development of control software for an automated guided vehicle system, and results show a significant cost-saving over development with conventional methods in which only a procedural language is used.<<ETX>>\",\"PeriodicalId\":253424,\"journal\":{\"name\":\"[Proceedings] IECON '90: 16th Annual Conference of IEEE Industrial Electronics Society\",\"volume\":\"57 2 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1990-11-27\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"18\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"[Proceedings] IECON '90: 16th Annual Conference of IEEE Industrial Electronics Society\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/IECON.1990.149183\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"[Proceedings] IECON '90: 16th Annual Conference of IEEE Industrial Electronics Society","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/IECON.1990.149183","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
A programming system, called K-NET, for the development of control software for FMS is described. K-NET is based on a Petri net, which makes it simple to express operational functions such as synchronization, interlock, and concurrency in sequence controls, K-NET uses a stochastic high-level Petri net in which tokens can have attributes, and which can provide notions of time and probability. K-NET can support all development stages including general design, detailed design, programming, and testing. K-NET has been used in the development of control software for an automated guided vehicle system, and results show a significant cost-saving over development with conventional methods in which only a procedural language is used.<>
![[Proceedings] IECON '90: 16th Annual Conference of IEEE Industrial Electronics Society](/Content/css/sci/img/zetp.jpg)
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
