Abstract
Applying high order Petri nets to the analysis and specification of real-time software systems supports the graphical representation of both control flows and data flows in one single graph. Execution can be simulated by moving tokens with data sets through the nets, hence supporting rapid prototyping and user-oriented validation of correct functionality and behavior. The paper introduces the use of structured high order Petri nets for specifying, designing and rapid-prototyping real-time software. In addition some restructuring techniques are explained that might help to reduce the complexity of specifications based on such nets. This structured technique for applying predicate transition nets is integrated in a CASE environment and supports real-time simulation or design code generation of sufficiently refined specifications.
Sign-in/Register to access full text options 
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 callDisclaimer: 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.
