Now showing items 1-1 of 1

  • Compositional construction and analysis of Petri net systems 

    Rojas, Isabel C. (University of Edinburgh. College of Science and Engineering. School of Informatics., 1997-07)
    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 ...