29 citations · 58 across the 9 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.LO2018★ 18 cited
Petri Net Reductions for Counting Markings
Bernard Berthomieu, Didier Le Botlan, Silvano Dal Zilio
We propose a method to count the number of reachable markings of a Petri net without having to enumerate these rst. The method relies on a structural reduction system that reduces…
cs.NI2018★ 1 cited
Time-accurate Middleware for the Virtualization of Communication Protocols
Rafael Scarduelli, Pierre-Alain Bourdil, Silvano Dal Zilio +2
Communication between devices in avionics systems must be predictable and deterministic, and data must be delivered reliably. To help the system architects comply with these requir…