For the most recent entries see the Petri Nets Newsletter.

Formalizing Use Case Diagrams in Hierarchical Predicate Transition Nets.

He, Xudong

In: Proc. of Conference on Software: Theory and Practice (The 16th IFIP World Computer Congress), Beijing, China, pages 484-491. August 2000.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography