Skip to Main Content
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.
Date of Conference: 28-30 April 2003