Jove
Visualize
Contact Us
JoVE
x logofacebook logolinkedin logoyoutube logo
ABOUT JoVE
OverviewLeadershipBlogJoVE Help Center
AUTHORS
Publishing ProcessEditorial BoardScope & PoliciesPeer ReviewFAQSubmit
LIBRARIANS
TestimonialsSubscriptionsAccessResourcesLibrary Advisory BoardFAQ
RESEARCH
JoVE JournalMethods CollectionsJoVE Encyclopedia of ExperimentsArchive
EDUCATION
JoVE CoreJoVE BusinessJoVE Science EducationJoVE Lab ManualFaculty Resource CenterFaculty Site
Terms & Conditions of Use
Privacy Policy
Policies

Related Experiment Videos

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

C Ebert1

  • 1Switching Syst. Div., Alcatel, Antwerp.

IEEE Transactions on Systems, Man, and Cybernetics. Part B, Cybernetics : a Publication of the IEEE Systems, Man, and Cybernetics Society
|February 8, 2008
PubMed
Summary
This summary is machine-generated.

Related Concept Videos

You might also read

Related Articles

Articles linked to this work by shared authors, journal, and citation graph.

Sort by
Same author

Specificity of JAK-kinase inhibition determines impact on human and murine T-cell function.

Leukemia·2015
Same author

Elucidating the structural and conformational factors responsible for the activity and substrate specificity of alkanesulfonate monooxygenase.

Journal of biomolecular structure & dynamics·2012
Same author

Cyclic progestin therapy for the management of mastopathy and mastodynia.

Gynecological endocrinology : the official journal of the International Society of Gynecological Endocrinology·2002
Same author

Biological effects of progestins in breast cancer.

Gynecological endocrinology : the official journal of the International Society of Gynecological Endocrinology·2002
Same author

Biological effects of progestins in breast cancer.

Gynecological endocrinology : the official journal of the International Society of Gynecological Endocrinology·2002
Same author

The SEEM: selective estrogen enzyme modulators in breast cancer.

Gynecological endocrinology : the official journal of the International Society of Gynecological Endocrinology·2000
Same journal

Strategic Ability Updating in Concurrent Games by Coalitional Commitment.

IEEE transactions on systems, man, and cybernetics. Part B, Cybernetics : a publication of the IEEE Systems, Man, and Cybernetics Society·2015
Same journal

Meta-Analysis of the First Facial Expression Recognition Challenge.

IEEE transactions on systems, man, and cybernetics. Part B, Cybernetics : a publication of the IEEE Systems, Man, and Cybernetics Society·2012
Same journal

Adjustable model-based fusion method for multispectral and panchromatic images.

IEEE transactions on systems, man, and cybernetics. Part B, Cybernetics : a publication of the IEEE Systems, Man, and Cybernetics Society·2012
Same journal

Face Feature Weighted Fusion Based on Fuzzy Membership Degree for Video Face Recognition.

IEEE transactions on systems, man, and cybernetics. Part B, Cybernetics : a publication of the IEEE Systems, Man, and Cybernetics Society·2012
Same journal

A New Adaptive Fast Cellular Automaton Neighborhood Detection and Rule Identification Algorithm.

IEEE transactions on systems, man, and cybernetics. Part B, Cybernetics : a publication of the IEEE Systems, Man, and Cybernetics Society·2012
Same journal

Human-arm-and-hand-dynamic model with variability analyses for a stylus-based haptic interface.

IEEE transactions on systems, man, and cybernetics. Part B, Cybernetics : a publication of the IEEE Systems, Man, and Cybernetics Society·2012
See all related articles

This paper introduces High Order Petri Nets for analyzing complex embedded systems. It presents SystemSpecs, a tool for early system analysis and prototyping, aiding software engineers in developing concurrent systems.

Area of Science:

  • Computer Science
  • Software Engineering

Background:

  • Modern computer systems increasingly rely on complex embedded software and hardware.
  • The early stages of software development are critical for successful system implementation.
  • Concurrent systems present unique challenges for software engineers.

Purpose of the Study:

  • To present High Order Petri Nets as a formalism for specifying and analyzing concurrent systems.
  • To introduce SystemSpecs, a tool supporting rapid system prototyping using these nets.
  • To provide techniques for early systems analysis and real-time system prototyping for customer presentations.

Main Methods:

  • Utilizing High Order Petri Nets for system specification and analysis.
  • Employing the SystemSpecs tool for rapid prototyping.

Related Experiment Videos

  • Extracting examples from industrial applications to demonstrate techniques.

    • Main Results:

    • Demonstrated the application of High Order Petri Nets and SystemSpecs for early system analysis.
    • Provided techniques for creating real-time system prototypes for customer review.
    • Addressed the visual complexity of net descriptions for large distributed systems.

    Conclusions:

    • High Order Petri Nets offer a powerful approach for concurrent system specification and analysis.
    • SystemSpecs facilitates early prototyping and customer presentations.
    • Techniques for managing and refining complex net structures are essential for large-scale systems.