메뉴 건너뛰기




Volumn 88, Issue 3, 2008, Pages 225-249

On the compared expressiveness of arc, place and transition time petri nets

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LOGIC; GRAPH THEORY; MARINE BIOLOGY; PETRI NETS; SEMANTICS;

EID: 58149513253     PISSN: 01692968     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Conference Paper
Times cited : (45)

References (25)
  • 2
    • 0005865314 scopus 로고    scopus 로고
    • A Causal Semantics for Time Petri Nets
    • Aura, T., Lilius, J,: A Causal Semantics for Time Petri Nets, Theoretical Computer Science, 243(2), 2000, 409-447.
    • (2000) Theoretical Computer Science , vol.243 , Issue.2 , pp. 409-447
    • Aura, T.1    Lilius, J.2
  • 3
    • 58149497335 scopus 로고    scopus 로고
    • Modélisation des Systèmes Réactifs (MSR'01)
    • Toulouse Fr, 17-19 Octobre
    • Berthomieu, B.: Laméthode des classes d'états pour l'analyse des réseaux temporels. Mise en ceuvre, extension ̀a la multi-sensibilisation, Modélisation des Systèmes Réactifs (MSR'01), Toulouse (Fr), 17-19 Octobre 2001.
    • (2001)
    • Berthomieu, B.1
  • 4
    • 0026120365 scopus 로고
    • Modeling and Verification of Time Dependent Systems Using Time Petri Nets
    • March
    • Berthomieu, B., Diaz, M.: Modeling and Verification of Time Dependent Systems Using Time Petri Nets, IEEE transactions on software engineering, 17(3), March 1991, 259-273.
    • (1991) IEEE transactions on software engineering , vol.17 , Issue.3 , pp. 259-273
    • Berthomieu, B.1    Diaz, M.2
  • 5
    • 18944379940 scopus 로고    scopus 로고
    • Translation from timed Petri nets with interval on transitions to interval on places (with urgency)
    • Elsevier Science, Grenoble, France, April
    • Boyer, M.: Translation from timed Petri nets with interval on transitions to interval on places (with urgency), Workshop on Theory and Practice of Timed Systems, 65, Elsevier Science, Grenoble, France, April 2002.
    • (2002) Workshop on Theory and Practice of Timed Systems , vol.65
    • Boyer, M.1
  • 7
    • 58149529697 scopus 로고    scopus 로고
    • Comparison of the expressiveness w.r.t. timed bisimilarity of k-bounded Arc, Place and Transition Time Petri Nets with weak and strong single server semantics
    • Technical Report RI2006-15, IRCCyN
    • Boyer, M., Roux, O. H.: Comparison of the expressiveness w.r.t. timed bisimilarity of k-bounded Arc, Place and Transition Time Petri Nets with weak and strong single server semantics, Technical Report RI2006-15, IRCCyN, 2006, (http://www.irccyn.ec-nantes.fr/hebergement/Publications/2006/3437.pdf).
    • (2006)
    • Boyer, M.1    Roux, O.H.2
  • 9
    • 18944390686 scopus 로고    scopus 로고
    • Language and bisimulation relations between subclasses of timed Petri nets with strong timing semantic
    • Technical report, LAAS, 2000
    • Boyer, M., Vernadat, F: Language and bisimulation relations between subclasses of timed Petri nets with strong timing semantic, Technical report, LAAS, 2000.
    • Boyer, M.1    Vernadat, F.2
  • 13
    • 33748703710 scopus 로고    scopus 로고
    • Structural Translation from Time Petri Nets to Timed Automata - Model-Checking Time Petri Nets via Timed Automata
    • Cassez, F., Roux, O. H.: Structural Translation from Time Petri Nets to Timed Automata - Model-Checking Time Petri Nets via Timed Automata, The journal of Systems and Software, 79(10), 2006, 1456-1468.
    • (2006) The journal of Systems and Software , vol.79 , Issue.10 , pp. 1456-1468
    • Cassez, F.1    Roux, O.H.2
  • 14
    • 0346397851 scopus 로고    scopus 로고
    • Timed based expressivity of time Petri nets for system specification
    • Cerone, A., Maggiolo-Schettini, A.: Timed based expressivity of time Petri nets for system specification, Theoretical Computer Science, 216, 1999,1-53.
    • (1999) Theoretical Computer Science , vol.216 , pp. 1-53
    • Cerone, A.1    Maggiolo-Schettini, A.2
  • 20
    • 0004156072 scopus 로고
    • Ph.D. Thesis, Dep. of Information and Computer Science, University of California, Irvine, CA
    • Merlin, P. M.: A study of the recoverability of computing systems, Ph.D. Thesis, Dep. of Information and Computer Science, University of California, Irvine, CA, 1974.
    • (1974) A study of the recoverability of computing systems
    • Merlin, P.M.1


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.