For the most recent entries see the
Petri Nets Newsletter
.
Keyword: software specification
Bastide, R.
;
Palanque, P.
:
A visual and formal glue between application and interaction.
1999.
Wu, J.
;
Fernandez, E.B.
:
Using Petri nets for the design of conversation boundaries in fault-tolerant systems.
1994.
Draper, C.M.
;
Holding, D.J.
:
Specification and Verification of the Real-Time Synchronisation Software for a Modular Independently Driven High-Speed Machine.
1989.
Do you need a refined search? Try our
search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography