For the most recent entries see the Petri Nets Newsletter.

Expanding the Use of Structuring: Formal Justification for Working on Subnets.

Padberg, J.; Gajewsky, M.; Ermel, C.

In: 97: MATCH-Workshop Petri Nets in System Engineering '97 FBI-HH-B-205, pages 44-54. September 1997.

Abstract: We here present a new method for algebraic highlevel nets with categorical structuring techniques. It allows deducing the structure of the composed net from the structure of its subnets with regard to the composition. This enables compositional working on subnets, as for instance verification, analysis or simulation. Thus, results being valid for subnets are still valid for the entire net without actually constructing it. The main theorem states under which assumptions the structure of a subnet is preserved in the composed net. We then give an example using this method for the verification of requirements with a case study of a medical information system.

Keywords: Union, V+erification, Algebraic High-Level Nets.


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

Back to the Petri Nets Bibliography