Compositional construction and analysis of Petri net systems
Most Petri net (PN) based modelling formalisms represent the system modelled as a flat net. This may not clearly reflect the elements that participate in the system and the way they communicate or interact. It can also be difficult to determine the model's behaviour or prove some of its propert...
Main Author: | |
---|---|
Other Authors: | |
Published: |
University of Edinburgh
1997
|
Subjects: | |
Online Access: | https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.561692 |