For the most recent entries see the
Petri Nets Newsletter
Keyword: software specification
A visual and formal glue between application and interaction.
Using Petri nets for the design of conversation boundaries in fault-tolerant systems.
Specification and Verification of the Real-Time Synchronisation Software for a Modular Independently Driven High-Speed Machine.
Do you need a refined search? Try our
which allows complex field-based queries.
Back to the Petri Nets Bibliography