For the most recent entries see the
Petri Nets Newsletter.
Buffo, M.
-
Buffo, Mathieu;
Buchs, Didier:
A Formal Component-Oriented Design Language for Building Distributed System.
2004.
-
Al-Shabibi, Ali;
Buchs, Didier;
Buffo, Mathieu;
Chachkov, Stanislav;
Chen, Ang;
Hurzeler, David:
Prototyping Object Oriented Specifications.
2003.
-
Sy, O.;
Buffo, M.;
Buchs, D.:
An Experimental Approach Towards the XML Representation of Petri Net Models.
2000.
-
Buchs, D.;
Buffo, M.:
Rapid prototyping of formally modeled distributed systems.
1999.
-
Buffo, Mathieu;
Buchs, Didier:
A Distributed Semantics for a IWIM-Based Coordination Language.
1999.
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