vtk_input

Usage:         
vtk_input_declare transId  placeId [flags]

Description:   
Declare an input dependency between a transition and a place. This is used in a 
Flow Description (See FDL procedure I). The procedure returns an error if the given 
ids are not valid or the new dependency creates a cycle. 
              
Flags can be either -normal, -consumed or -sticky. 
              
Example:
vtk_input_declare 12345 4567 
vtk_input_declare 12345 4567 -normal 
vtk_input_declare 12345 67890 -consumed 
vtk_input_declare 12345 67890 -sticky

Usage:         
vtk_input_declare_ex transId placeName [options]

Description:   
An alternative to vtk_input_declare, which uses 2 VovIds, while this uses the name of the output.
Declare an input dependency between a transition and a place. This is used in a Flow Description 
(See FDL procedure I). 
              
Options
* -normal 
* -consumed 
* -nocheck 
* -sticky 
* -links(which is ignored in this context) 
* -db DB 
                
                              
Examples:
vtk_input_declare_ex 12345 abc
vtk_input_declare_ex 12345 abc -normal
vtk_input_declare_ex 12345 abc -consumed
vtk_input_declare_ex 12345 abc -nocheck
vtk_input_declare_ex 12345 abc -sticky

Returns:
The procedure returns an error if the given transId is not valid the new dependency creates a cycle