{"title":"高级Petri网在汽车工业AS/RS系统建模中的先进技术","authors":"Erik Kučera, Miriama Niznanska, S. Kozák","doi":"10.1109/CARPATHIANCC.2015.7145085","DOIUrl":null,"url":null,"abstract":"Presently, discrete-event dynamic systems represent a significant group of varied systems e.g. computer networks, manufacturing systems, communication systems, database systems etc. An important class of discrete-event systems are automated storage and retrieval systems (AS/RS). There is a big demand for new modelling and control methods of these systems in automotive industry in Slovakia. These systems are equipped by robots and other automation technology. The paper deals with High-level Petri nets applied in modelling of these systems. Main results of the paper include brief description of the method and model of storage system implemented by Coloured Petri nets expressed by different formalisms in two software tools. We also discuss the possible application of the model and modelling method in practice and for system control purposes.","PeriodicalId":187762,"journal":{"name":"Proceedings of the 2015 16th International Carpathian Control Conference (ICCC)","volume":"57 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2015-05-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":"{\"title\":\"Advanced techniques for modelling of AS/RS systems in automotive industry using High-level Petri nets\",\"authors\":\"Erik Kučera, Miriama Niznanska, S. Kozák\",\"doi\":\"10.1109/CARPATHIANCC.2015.7145085\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Presently, discrete-event dynamic systems represent a significant group of varied systems e.g. computer networks, manufacturing systems, communication systems, database systems etc. An important class of discrete-event systems are automated storage and retrieval systems (AS/RS). There is a big demand for new modelling and control methods of these systems in automotive industry in Slovakia. These systems are equipped by robots and other automation technology. The paper deals with High-level Petri nets applied in modelling of these systems. Main results of the paper include brief description of the method and model of storage system implemented by Coloured Petri nets expressed by different formalisms in two software tools. We also discuss the possible application of the model and modelling method in practice and for system control purposes.\",\"PeriodicalId\":187762,\"journal\":{\"name\":\"Proceedings of the 2015 16th International Carpathian Control Conference (ICCC)\",\"volume\":\"57 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2015-05-27\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"2\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of the 2015 16th International Carpathian Control Conference (ICCC)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/CARPATHIANCC.2015.7145085\",\"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 of the 2015 16th International Carpathian Control Conference (ICCC)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/CARPATHIANCC.2015.7145085","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Advanced techniques for modelling of AS/RS systems in automotive industry using High-level Petri nets
Presently, discrete-event dynamic systems represent a significant group of varied systems e.g. computer networks, manufacturing systems, communication systems, database systems etc. An important class of discrete-event systems are automated storage and retrieval systems (AS/RS). There is a big demand for new modelling and control methods of these systems in automotive industry in Slovakia. These systems are equipped by robots and other automation technology. The paper deals with High-level Petri nets applied in modelling of these systems. Main results of the paper include brief description of the method and model of storage system implemented by Coloured Petri nets expressed by different formalisms in two software tools. We also discuss the possible application of the model and modelling method in practice and for system control purposes.