proclets
Petri Nets and Workflows
Proclets
Channels
Performatives
Example
Change Log
proclets
»
Index
Index
C
|
E
|
P
|
Q
C
Channel (class in proclets.channel)
E
empty() (proclets.channel.Channel method)
P
Performative (proclets.types attribute)
Q
qsize() (proclets.channel.Channel method)