Adding Real-Time Constraints to Synchronised Petri Nets

Auteur(s)

Di Marzo Serugendo, Giovanna

Accéder

Texte intégral indisponible

Description

This report defines synchronised Petri nets with inhibitor arcs and an extension of these nets that integrates real-time constraints. The semantics of these nets is given by a transition system built using Structured Operational Semantics (SOS) rules. This report is part of a larger framework that attempts to attach real-time constraints to the CO-OPN/2 language.

Sujets

Secteur services > Services (général)

Institution partenaire

Université de Genève

Langue

English

Date

2000