-
ACTIVITYDIAGRAM2PETRINET : TRANSFORMATION-BASED MODEL IN ACCORDANCE WITH THE ...
International audience -
Use Of Petri Net For Studying A Switching Node In A WAN-network
A crucial issue in the design of software components in a wide network is the ability to support various types of network flow and to guarantee the Quality of Service... -
Vector Addition Systems Reachability Problem (A Simpler Solution)
International audience -
Trellis Processes : a Compact Representation for Runs of Concurrent Systems
In the true concurrency semantics, runs of a concurrent system are represented as partial orders of events. To represent sets of such runs in a compact manner,... -
Formal Relationships Between Geometrical and Classical Models for Concurrency
International audience -
ITL semantics of composite Petri nets
International audience -
Controller synthesis with highly simplified linear constraints
International audience -
The Prose Storyboard Language: A Tool for Annotating and Directing Movies
International audience -
Dynamic Reliability of Digital-Based Transmitters
International audience -
Two polygraphic presentations of Petri nets
This document gives an algebraic and two polygraphic translations of Petri nets, all three providing an easier way to describe reductions and to identify some of them.... -
Review of risk assessment status for air traffic
iFly project deliverable -
Interval temporal logic semantics of box algebra
International audience -
Conversion of a Risk model into a Petri Net Model for simulation and analysis
International audience
