-
1
-
-
78951471029
-
Timed Petri Nets and BQOs
-
Springer-Verlag, United Kingdom
-
Abdulla, P. A., Nylén, A.: Timed Petri Nets and BQOs, 22nd International Conference on Application and Theory of Petri Nets (ICATPN'01), 2075, Springer-Verlag, United Kingdom, 2001.
-
(2001)
22nd International Conference on Application and Theory of Petri Nets (ICATPN'01)
, vol.2075
-
-
Abdulla, P.A.1
Nylén, A.2
-
2
-
-
0005865314
-
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
-
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
-
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
-
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
-
6
-
-
53049088105
-
Multiple enabledness of transitions in time Petri nets
-
IEEE Computer Society, Aachen, Germany, September 11-14
-
Boyer, M., Diaz, M.: Multiple enabledness of transitions in time Petri nets, Proc. of the 9th IEEE International Workshop on Petri Nets and Performance Models, IEEE Computer Society, Aachen, Germany, September 11-14 2001.
-
(2001)
Proc. of the 9th IEEE International Workshop on Petri Nets and Performance Models
-
-
Boyer, M.1
Diaz, M.2
-
7
-
-
58149529697
-
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
-
8
-
-
38149040973
-
Comparison of the expressiveness of Arc, Place and Transition Time Petri Nets
-
J. Kleijn, A. Yakovlev, Eds, Springer-Verlag, Siedlce, Poland, june
-
Boyer, M., Roux, O. H.: Comparison of the expressiveness of Arc, Place and Transition Time Petri Nets, Proceeding of the 28th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (ICATPN) (J. Kleijn, A. Yakovlev, Eds.), 4546, Springer-Verlag, Siedlce, Poland, june 2007.
-
(2007)
Proceeding of the 28th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (ICATPN)
, pp. 4546
-
-
Boyer, M.1
Roux, O.H.2
-
9
-
-
18944390686
-
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
-
10
-
-
84880207691
-
Comparison of Different Semantics for Time Petri Nets
-
Springer, Taiwan, October
-
Bérard, B., Cassez, F, Haddad, S., Lime, D., Roux, O. H.: Comparison of Different Semantics for Time Petri Nets, Automated Technology for Verification and Analysis (ATVA'05), 3707, Springer, Taiwan, October 2005.
-
(2005)
Automated Technology for Verification and Analysis (ATVA'05)
, pp. 3707
-
-
Bérard, B.1
Cassez, F.2
Haddad, S.3
Lime, D.4
Roux, O.H.5
-
11
-
-
33745442289
-
Comparison of the expressiveness of Timed Automata and Time Petri Nets
-
Springer, Uppsala, Sweden
-
Bérard, B., Cassez, F., Haddad, S., Lime, D., Roux, O, H.: Comparison of the expressiveness of Timed Automata and Time Petri Nets, 3rd International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 05), 3829, Springer, Uppsala, Sweden, 2005.
-
(2005)
3rd International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 05)
, vol.3829
-
-
Bérard, B.1
Cassez, F.2
Haddad, S.3
Lime, D.4
Roux, O.H.5
-
12
-
-
33744917542
-
When are timed automata weakly timed bisimilar to time Petri nets ?
-
Springer, Hyderabad, India
-
Bérard, B., Cassez, F., Haddad, S., Lime, D., Roux, O. H.: When are timed automata weakly timed bisimilar to time Petri nets ?, 25th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2005), 3821, Springer, Hyderabad, India, 2005.
-
(2005)
25th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2005)
, vol.3821
-
-
Bérard, B.1
Cassez, F.2
Haddad, S.3
Lime, D.4
Roux, O.H.5
-
13
-
-
33748703710
-
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
-
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
-
15
-
-
84888307926
-
Decidability of properties of timed-arc Petri nets
-
Springer-Verlag, Aarhus, Denmark, jun
-
de Frutos Escrig, D., Ruiz, V. V., Alonso, O. M.: Decidability of properties of timed-arc Petri nets, 21st International Conference on Application and Theory of Petri Nets (ICATPN'00), 1825, Springer-Verlag, Aarhus, Denmark, jun 2000.
-
(1825)
21st International Conference on Application and Theory of Petri Nets (ICATPN'00)
-
-
de Frutos Escrig, D.1
Ruiz, V.V.2
Alonso, O.M.3
-
17
-
-
0000359796
-
Complexity of Some Problems in Petri Nets
-
Jones, N. D., Landweber, L. H., Lien, Y. E.: Complexity of Some Problems in Petri Nets., Theoretical Computer Science 4, 1977, 277-299.
-
(1977)
Theoretical Computer Science
, vol.4
, pp. 277-299
-
-
Jones, N.D.1
Landweber, L.H.2
Lien, Y.E.3
-
18
-
-
0002036293
-
P-Time Petri Nets for manufacturing systems
-
Edinburgh U.K, august
-
Khansa, W., Denat, J.-P., Collart-Dutilleul, S.: P-Time Petri Nets for manufacturing systems, International Workshop on Discrete Event Systems, WODES'96, Edinburgh (U.K.), august 1996.
-
(1996)
International Workshop on Discrete Event Systems, WODES'96
-
-
Khansa, W.1
Denat, J.-P.2
Collart-Dutilleul, S.3
-
20
-
-
0004156072
-
-
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
-
21
-
-
84885517308
-
Time Petri Nets: A Primer Introduction, Tutorial
-
presented at the, Zaragoza, Spain, September
-
Pezzè, M.: Time Petri Nets: A Primer Introduction, Tutorial presented at the Multi-Workshop on Formal Methods in Performance Evaluation and Applications, Zaragoza, Spain, September 1999.
-
(1999)
Multi-Workshop on Formal Methods in Performance Evaluation and Applications
-
-
Pezzè, M.1
-
22
-
-
0003576234
-
-
Ph.D. Thesis, Massachusetts Institute of Technology, Cambridge, MA, Project MAC Report MAC-TR-120
-
Ramchandani, C: Analysis of asynchronous concurrent systems by timed Petri nets, Ph.D. Thesis, Massachusetts Institute of Technology, Cambridge, MA, 1974, Project MAC Report MAC-TR-120.
-
(1974)
Analysis of asynchronous concurrent systems by timed Petri nets
-
-
Ramchandani, C.1
-
23
-
-
85014512742
-
Performance Evaluation of Systems using Nets
-
Springer-Verlag
-
Sifakis, J.: Performance Evaluation of Systems using Nets, Net theory and applications : Proc. of the advanced course on general net theory, processes and systems (Hamburg, 1979), 84, Springer-Verlag, 1980.
-
(1980)
Net theory and applications : Proc. of the advanced course on general net theory, processes and systems (Hamburg, 1979)
, vol.84
-
-
Sifakis, J.1
|