For the most recent entries see the
Petri Nets Newsletter.
Ouyang, C.
-
Ouyang, Chun;
Verbeek, Eric;
van der Aalst, Wil M. P.;
Breutel, Stephan;
Dumas, Marlon;
ter Hofstede, Arthur:
WofBPEL: A Tool for Automated Analysis of BPEL Processes.
2005.
-
Gallasch, Guy E.;
Ouyang, Chun;
Billington, Jonathan;
Kristensen, Lars M.:
Experimenting with Progress Mappings for the Sweep-Line Analysis of the Internet Open Trading Protocol.
2004.
-
Ouyang, Chun;
Billington, Jonathan:
Formal Analysis of the Internet Open Trading Protocol.
2004.
-
Ouyang, C.;
Billington, J.:
An Improved Formal Specification of the Internet Open Trading Protocol.
2004.
-
Ouyang, Chun;
Billington, Jonathan:
On Verifying the Internet Open Trading Protocol.
2003.
-
Ouyang, C.;
Kristensen, L.M.;
Billington, J.:
A Formal and Executable Specification of the Internet Open Trading Protocol.
2002.
-
Ouyang, Chun;
Kristensen, Lars Michael;
Billington, Jonathan:
A Formal and Executable Specification of the Internet Open Trading Protocol.
2002.
-
Ouyang, Chun;
Kristensen, Lars Michael;
Billington, Jonathan:
A Formal Service Specification for the Internet Open Trading Protocol.
2002.
-
Ouyang, Chun;
Kristensen, Lars Michael;
Billington, Jonathan:
An Improved Architectural Specification of the Internet Open Trading Protocol.
2001.
-
Ouyang, Chun;
Kristensen, Lars Michael;
Billington, Jonathan:
Towards Modelling and Analysis of Internet Open Trading Protocol Transactions using Coloured Petri Nets.
2001.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Are you trying to get in contact with an author? Try our
database of Petri net researchers.
Back to the Petri Nets Bibliography