Düpmeier, C. <br/><br/>
Algebraic specification and modelling in high level Petri nets with a state dependent firing rule. 

 - Karlsruhe :  Kernforschungszentrum Karlsruhe,  1994. 
 - 147 p. 
<br/><br/><label>ISSN: </label>0303-4003 
<br/><br/><label>Standard No.: </label>KfK 5279