{"title":"基于同步Petri网形式化的响应式实时系统建模和编程辅助工具","authors":"R. Hilal, P. Ladet","doi":"10.1109/PNPM.1993.393437","DOIUrl":null,"url":null,"abstract":"The design and the implementation of a reactive real-time system modeling and programming tool based on the synchronous Petri nets formalism (SynPN) are presented. This formalism combines the advantages of two existing formalisms: the synchronous languages (SL) and the Petri nets (PN). The SynPN basic assumptions and the synchronous interpretation principles are explained, illustrated with examples. The SynPN formal definition is given as well as the interpretation algorithm. The SynPN based tool, which aids in reactive real-time system modeling and programming is introduced. The modeling and the programming of a chronometer using the SynPN formalism are addressed.<<ETX>>","PeriodicalId":404832,"journal":{"name":"Proceedings of 5th International Workshop on Petri Nets and Performance Models","volume":"29 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1993-10-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"5","resultStr":"{\"title\":\"A reactive real-time systems modelling and programming aid tool based on the synchronous Petri nets formalism\",\"authors\":\"R. Hilal, P. Ladet\",\"doi\":\"10.1109/PNPM.1993.393437\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The design and the implementation of a reactive real-time system modeling and programming tool based on the synchronous Petri nets formalism (SynPN) are presented. This formalism combines the advantages of two existing formalisms: the synchronous languages (SL) and the Petri nets (PN). The SynPN basic assumptions and the synchronous interpretation principles are explained, illustrated with examples. The SynPN formal definition is given as well as the interpretation algorithm. The SynPN based tool, which aids in reactive real-time system modeling and programming is introduced. The modeling and the programming of a chronometer using the SynPN formalism are addressed.<<ETX>>\",\"PeriodicalId\":404832,\"journal\":{\"name\":\"Proceedings of 5th International Workshop on Petri Nets and Performance Models\",\"volume\":\"29 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1993-10-19\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"5\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of 5th International Workshop on Petri Nets and Performance Models\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/PNPM.1993.393437\",\"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 5th International Workshop on Petri Nets and Performance Models","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/PNPM.1993.393437","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
A reactive real-time systems modelling and programming aid tool based on the synchronous Petri nets formalism
The design and the implementation of a reactive real-time system modeling and programming tool based on the synchronous Petri nets formalism (SynPN) are presented. This formalism combines the advantages of two existing formalisms: the synchronous languages (SL) and the Petri nets (PN). The SynPN basic assumptions and the synchronous interpretation principles are explained, illustrated with examples. The SynPN formal definition is given as well as the interpretation algorithm. The SynPN based tool, which aids in reactive real-time system modeling and programming is introduced. The modeling and the programming of a chronometer using the SynPN formalism are addressed.<>
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
