For the most recent entries see the
Petri Nets Newsletter.
Loyer, B.
-
De Man, J.;
Loyer, B.;
Nirschl, H.;
San Martin, P.:
Entwicklung von Kommunikationssystemen aus formalen Spezifikationen.
1990.
-
Berthomieu, B.;
Choquet, N.;
Colin, C.;
Loyer, B.;
Martin, J.M.;
Mauboussin, A.:
Abstract Data Nets: Combining Petri Nets and Abstract Data Types for High Level Specifications of Distributed Systems.
1986.
-
Loyer, B.;
al., et:
Communication Protocol Specification and Validation by Means of Petri Nets: Applications to the CSN Subscriber Connection Unit of the E10 and MT Systems.
1986.
-
Ayache, J.M.;
Sbai, A.;
Loyer, B.;
Paul, L.L.:
Software Redundancy for Error Detection in Distributed Systems.
1982.
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