Skip to main content
Jump to: navigation, search

Revision history of "File:OMCW chapter07 ModelPlex-WP6-Training BehavioralVerification.pdf"

Diff selection: Mark the radio boxes of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

  • (cur | prev) 13:45, 19 October (Talk | contribs). . (174 bytes) (+174). . (==Behavioral Modeling with Petri Nets for Verification== This lecture provides a methodology for modeling the behaviors of systems, using Petri Nets, in order to verify them.)

Back to the top