Hi,

  I'm modeling an application flow with petri nets. Everything is clear, except 
for the "interruptions"

  We use sub nets to model separate sub parts of a process, but some times the 
execution of the sub net habe to be interrupted by it's father net (has an 
example, there can be a registration process divided in 5 steps, some steps can 
be omitted -ence the petri net modeling-, but the whole sub-net is 
"cancellable", meaning that a "cancel" event (transition ?) is aviable from any 
place in the subnet to the "cancel" place. Another example is when errors 
occurs, such as connection-lost : we then must must be able to prevent normal 
transitions in the subnet untill connexion is re-aviable Or the user choose to 
cancel, or save for later use, ...

  Is there any online documentation dealing about the problem of event handling 
in sub nets ?

Regards,
Fabien.


This e-mail is intended only for the above addressee. It may contain
privileged information. If you are not the addressee you must not copy,
distribute, disclose or use any of the information in it. If you have
received it in error please delete it and immediately notify the sender.
Security Notice: all e-mail, sent to or from this address, may be
accessed by someone other than the recipient, for system management and
security reasons. This access is controlled under Regulation of
Investigatory Powers Act 2000, Lawful Business Practises.
----
[[ Petri Nets World:                                                ]]
[[              http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]]
[[ Mailing list FAQ:                                                ]]
[[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]]
[[ Post messages/summary of replies:                                ]]
[[                               [email protected] ]]

Reply via email to