This paper describes a software specification method based on high-level Petri net patterns known as HPrTN patterns. HPrTN patterns rely on a pattern catalog, and a formal basis for specializing, instantiating, and composing existing patterns. We show the usefulness of our approach via modeling of a blackboard system.
