Mogens Nielsen, Vladimiro Sassone, Jiri Srba  Home/Search
Context Related
| informatics.sussex...tpnfsttcs01.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: informatics.sussex.ac.uk/users... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In [12] we started a research on a distributed-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. (Update)
Similar documents based on text: More All
0.6: Properties of Distributed Timed-Arc Petri Nets - Nielsen, Sassone, Srba (2001) (Correct)
0.4: Towards a Notion of Distributed Time for Petri Nets.. - Nielsen, Sassone, Srba (Correct)
0.4: A Formal Model for Trust in Dynamic Networks - Carbone, Nielsen (2003) (Correct)
BibTeX entry: (Update)
M. Nielsen, V. Sassone, and J. Srba. Properties of distributed timedarc Petri nets. In Proceedings of the 21st International Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'01), volume 2245 of LNCS, pages 280--291. Springer-Verlag, 2001. http://citeseer.ist.psu.edu/nielsen01properties.html More
@article{ nielsen01properties,
author = "Mogens Nielsen and Vladimiro Sassone and Jir{\'\i} Srba",
title = "Properties of Distributed Timed-Arc {Petri} Nets",
journal = "Lecture Notes in Computer Science",
volume = "2245",
pages = "280--??",
year = "2001",
url = "citeseer.ist.psu.edu/nielsen01properties.html" }
Citations (may not include all citations):103 An algorithm for the general Petri net reachability problem (context) - Mayr - 1981
82 Kronos: A model-checking tool for real-time systems - Bozga, Daws et al. - 1998
67 Asynchronous design methodologies: An overview - Hauck - 1995
59 The non-sequential behaviour of Petri nets (context) - Goltz, Reisig - 1983
50 Journal on Software Tools for Technology Transfer (context) - Larsen, Pettersson et al. - 1997
42 Use of Petri nets for performance evaluation (context) - Sifakis - 1977
17 From timed Petri nets to timed LOTOS (context) - Bolognesi, Lucidi et al. - 1990
7 Performance Evaluation of Asynchronous Concurrent Systems by.. (context) - Ramchandani - 1973
7 Analysi placetransition net with timed arc and it applicatio.. (context) - of, nets et al. - 1993
7 Timed Petri nets and BQOs - Abdulla, Nyl - 2001
6 On non-decidability of reachability for timed-arc Petri nets - Ruiz, Gomez et al. - 1999
6 The weakness of some timed models for concurrent systems (context) - Bolognesi, Cremonese - 1989
6 Modelling time in Petri nets (context) - Bowden - 1996
4 Decidability of properties of timed-arc Petri nets (context) - Ruiz, Escrig et al. - 2000
3 Towards a notion of distributed time for Petri nets (context) - Nielsen, Sassone et al. - 2001
[Article contains additional citations not shown here]
Documents on the same site (http://www.informatics.sussex.ac.uk/users/vs/research/): More
A Calculus for Trust Management - Carbone, Nielsen, Sassone (Correct)
Jeeg: A Programming Language for Concurrent Objects.. - Milicia, Sassone (2002) (Correct)
Algebraic Theories for Contextual Pre-Nets - Bruni, Meseguer, Montanari.. (2001) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC