By Topic

Experiences with colored predicate-transition nets for specifying and prototyping embedded systems

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

1 Author(s)
C. Ebert ; Switching Syst. Div., Alcatel, Antwerp, Belgium

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

Published in:

IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics)  (Volume:28 ,  Issue: 5 )