For the most recent entries see the
Petri Nets Newsletter.
Keyword: e-commerce
-
Ouyang, C.;
Billington, J.:
An Improved Formal Specification of the Internet Open Trading Protocol.
2004.
-
Ouyang, Chun;
Kristensen, Lars Michael;
Billington, Jonathan:
A Formal Service Specification for the Internet Open Trading Protocol.
2002.
-
Bause, F.;
Beilner, H.;
Fischer, M.;
Kemper, P.;
Völker, M.:
The ProC/B Toolset for the Modelling and Analysis of Process Chains.
2002.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography