Results 1 -
1 of
1
Formal Relationship between Petri Nets And Graph Grammars as Basis for Animation View in GenGED
- In Integrated Design and Process Technology IDPT 2002, Society for Design and Process Science
, 2002
"... Specification techniques like Petri nets allow for the formal description and analysis of systems. Although tool support exists for many different Petri net classes and tasks, a domain-specific animation of net behavior, however, is not yet supported by many Petri net tools. ..."
Abstract
-
Cited by 3 (2 self)
- Add to MetaCart
Specification techniques like Petri nets allow for the formal description and analysis of systems. Although tool support exists for many different Petri net classes and tasks, a domain-specific animation of net behavior, however, is not yet supported by many Petri net tools.
