Skip to main content

3 Result(s)

within Vladimiro Sassone Remove this filter Mathematics Remove this filter

and

  1. No Access

    Chapter and Conference Paper

    Towards a Notion of Distributed Time for Petri Nets

    We set the ground for research on a timed extension of Petri nets where time parameters are associated with tokens and arcs carry constraints that qualify the age of tokens required for enabling. The novelty i...

    Mogens Nielsen, Vladimiro Sassone, Jiří Srba in Applications and Theory of Petri Nets 2001 (2001)

  2. No Access

    Chapter and Conference Paper

    Deterministic behavioural models for concurrency

    This paper offers three candidates for a deterministic, noninterleaving, behaviour model which generalizes Hoare traces to the noninterleaving situation. The three models are all proved equivalent in the rathe...

    Vladimiro Sassone, Mogens Nielsen… in Mathematical Foundations of Computer Scien… (1993)

  3. No Access

    Chapter and Conference Paper

    On the semantics of Petri Nets

    Petri Place/Transition (PT) nets are one of the most widely used models of concurrency. However, they still lack, in our view, a satisfactory semantics: on the one hand the “token game” is too intensional, eve...

    José Meseguer, Ugo Montanari, Vladimiro Sassone in CONCUR '92 (1992)