For the most recent entries see the
Petri Nets Newsletter
.
Keyword: integration
Kindler, Ekkart
;
Rubin, Vladimir
;
Wagner, Robert
:
Component Tools: Integrating Petri Nets with Other Formal Methods.
2006.
Choi, Injun
;
Park, Chulsoon
;
Lee, Changwoo
:
Task net: Transactional workflow model based on colored Petri net.
2002.
Dahmen, J.-H.
:
A Concept for the Integration of Modelling and Debugging.
1990.
Do you need a refined search? Try our
search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography