Abstract
Computer systems in today's society require an increasing amount of embedded software and hardware systems. Their application has introduced new problems for the software engineer combined with the complexity of such systems. In particular, the early stages of the software development process are vital for the successful implementation of computer systems. High order Petri nets are introduced and extended as a powerful formalism for the specification and analysis of concurrent systems. A tool called SystemSpecs has been applied that supports rapid system prototyping with such nets. This survey article provides techniques for early systems analysis that can be used as a real time system prototype for customer presentations. Small examples are extracted from industrial applications to indicate how the described techniques can be used. While the major disadvantage of typical net descriptions is their visual complexity that makes them useless for large distributed systems, the paper also describes how to find overly complex structures, and describes selected methods of how to refine such structures.
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: IEEE Transactions on Systems, Man and Cybernetics, Part B (Cybernetics)
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.
