Abstract
The paper describes the use of structured Petri nets for specifying, designing and rapid-prototyping real-time software for reliability related automation systems. High order Petri nets can be applied to problems of automation domains, such as dynamic and embedded systems with timing requirements, parallelism, dataflow, and non-determinism of events controlling such systems. The structured development of these real-time systems and their evaluation for reliability is illustrated with guidelines for a hierarchical top-down design. Problems resulting from software/hardware interaction and their formalization with Predicate transition Petri nets are discussed. This new structured technique for the application of such PrT-nets supports the real-time simulation of sufficiently refined specifications that can be used as a system prototype for customer presentations and also for reliability assessment.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callMore From: Safety of Computer Control Systems 1992 (SAFECOMP' 92)
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
