UNIGE document Technical Report
previous document  unige:55427  next document
add to browser collection

Adding Real-Time Constraints to Synchronised Petri Nets

Mandrioli, Dino
Guelfi, Nicolas
Publication Lausanne: Software Engineering Laboratory, Swiss Federal Institute of Technology, 2000
Description 24 p.
Abstract 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.
Keywords Real timeLinear temporal logicSynchronised Petri Nets
Full text
Research group Institute of Information Service Science (ISS)
(ISO format)
DI MARZO SERUGENDO, Giovanna et al. Adding Real-Time Constraints to Synchronised Petri Nets. 2000 https://archive-ouverte.unige.ch/unige:55427

431 hits



Deposited on : 2015-04-12

Export document
Format :
Citation style :