For the most recent entries see the
Petri Nets Newsletter
Keyword: requirement analysis
A Petri net based modeling approach for operating methods in train control systems.
Software modeling and analysis using a hierarchical object-oriented Petri net.
Information System Verification and Validation during Requirement Analysis Using Petri Nets.
Do you need a refined search? Try our
which allows complex field-based queries.
Back to the Petri Nets Bibliography