On Generating *-Sound Nets with Substitution

  • Authors:

  • Jacek Sroka;Piotr Chrzastowski-Wachtel;Jan Hidders

  • Affiliations:

  • -;-;-

  • Venue:
  • ACSD '11 Proceedings of the 2011 Eleventh International Conference on Application of Concurrency to System Design
  • Year:
  • 2011

Quantified Score

Hi-index 0.00

Visualization

Abstract

We present a method for hierarchically generating sound work flow nets by substitution of nets with multiple inputs and outputs. We show that our method is correct and generalizes the class of nets generated by other hierarchical approaches. We identify a notion of soundness that is preserved by such substitutions and correct a small omission in an earlier similar method.