-
1
-
-
84957675725
-
Polynomial algorithms for the synthesis of bounded nets
-
[BBD95], Lecture Notes in Computer Science
-
[BBD95] Badouel, E., Bernardinello, L. and Darondeau, P.: Polynomial algorithms for the synthesis of bounded nets. Proceedings Caap 95, Lecture Notes in Computer Science, 915, pp. 647-679, 1995.
-
(1995)
Proceedings Caap 95
, vol.915
, pp. 647-679
-
-
Badouel, E.1
Bernardinello, L.2
Darondeau, P.3
-
2
-
-
0031248791
-
The synthesis problem for elementary net systems is NP-complete
-
[BBD97]
-
[BBD97] Badouel, E., Bernardinello, L., and Darondeau, P.: The synthesis problem for elementary net systems is NP-complete. Theoretical Computer Science, 186, pp. 107-134, 1997.
-
(1997)
Theoretical Computer Science
, vol.186
, pp. 107-134
-
-
Badouel, E.1
Bernardinello, L.2
Darondeau, P.3
-
3
-
-
0004519284
-
On the synthesis of general Petri nets
-
[BaD96]
-
[BaD96] Badouel, E. and Darondeau, P.: On the synthesis of general Petri nets. Inria Research Report 3025, 1996.
-
(1996)
Inria Research Report
, vol.3025
-
-
Badouel, E.1
Darondeau, P.2
-
4
-
-
0345778906
-
On the synchronic structure of transition systems
-
[BDP96], J. Desel, editor, Workshops in Computing. Springer-Verlag
-
[BDP96] Bernardinello, L., De Michelis, G., Petruni, K. and Vigna, S.: On the synchronic structure of transition systems. In J. Desel, editor, Structures in Concurrency Theory, pages 11-31. Workshops in Computing. Springer-Verlag, 1996.
-
(1996)
Structures in Concurrency Theory
, pp. 11-31
-
-
Bernardinello, L.1
De Michelis, G.2
Petruni, K.3
Vigna, S.4
-
5
-
-
33645437108
-
SYNET: Un outil de synthèse de réseaux de Petri bornés, applications
-
[Cai97]
-
[Cai97] Caillaud, B.; SYNET: un outil de synthèse de réseaux de Petri bornés, applications. Irisa Research Report 1101, 1997.
-
(1997)
Irisa Research Report
, vol.1101
-
-
Caillaud, B.1
-
6
-
-
0043286481
-
Bounded Petri-net synthesis techniques and their applications to the distribution of reactive automata
-
[Cai99]
-
[Cai99] Caillaud, B.: Bounded Petri-net synthesis techniques and their applications to the distribution of reactive automata. European Journal of Automation, 33 (9,10), pp. 925-942, 1999.
-
(1999)
European Journal of Automation
, vol.33
, Issue.9-10
, pp. 925-942
-
-
Caillaud, B.1
-
8
-
-
0029486982
-
Synthesising Petri nets from state-based models
-
[CKL95], IEEE Computer Society Press
-
[CKL95] Cortadella, J., Kishinevsky, M., Lavagno, L. and Yakovlev, A.: Synthesising Petri nets from state-based models. In Proceedings of ICCAD'95, pages 164-173. IEEE Computer Society Press, 1995.
-
(1995)
Proceedings of ICCAD'95
, pp. 164-173
-
-
Cortadella, J.1
Kishinevsky, M.2
Lavagno, L.3
Yakovlev, A.4
-
9
-
-
0010646357
-
Deriving Petri nets from finite transition systems
-
[CKL98]
-
[CKL98] Cortadella, J., Kishinevsky, M., Lavagno, L. and Yakovlev, A.: Deriving Petri nets from finite transition systems. IEEE Transactions on Computers, 47 (8), pp. 859-882, 1998.
-
(1998)
IEEE Transactions on Computers
, vol.47
, Issue.8
, pp. 859-882
-
-
Cortadella, J.1
Kishinevsky, M.2
Lavagno, L.3
Yakovlev, A.4
-
10
-
-
85013470930
-
Complete state encoding based on the theory of regions
-
[CKK96], IEEE Computer Society Press
-
[CKK96] Cortadella, J., Kishinevsky, M., Kondratyev, A., Lavagno, L. and Yakovlev, A.: Complete state encoding based on the theory of regions. In Proceedings of the 2nd International Symposium on Advanced Research on Asynchronous Circuits and Systems, pages 36-47. IEEE Computer Society Press, 1996.
-
(1996)
Proceedings of the 2nd International Symposium on Advanced Research on Asynchronous Circuits and Systems
, pp. 36-47
-
-
Cortadella, J.1
Kishinevsky, M.2
Kondratyev, A.3
Lavagno, L.4
Yakovlev, A.5
-
11
-
-
0030533613
-
The synthesis problem of Petri nets
-
[DeR96]
-
[DeR96] Desel, J. and Reisig, W.: The synthesis problem of Petri nets. Acta Informatica, 33, pp. 297-315, 1996.
-
(1996)
Acta Informatica
, vol.33
, pp. 297-315
-
-
Desel, J.1
Reisig, W.2
-
12
-
-
0001905397
-
Petri Nets and automata with concurrency relations; an adjunction
-
[DrS93], M. Droste and Y. Gurevich, editors
-
[DrS93] Droste, M. and Shortt, R. M.: Petri Nets and automata with concurrency relations; an adjunction. In M. Droste and Y. Gurevich, editors, Semantics of Programming Languages and Model Theory, pages 69-87, 1993.
-
(1993)
Semantics of Programming Languages and Model Theory
, pp. 69-87
-
-
Droste, M.1
Shortt, R.M.2
-
14
-
-
0025405313
-
Partial (set) 2-structures. Part I: Basic notions and the representation problem
-
[EhR90a]
-
[EhR90a] Ehrenfeucht, A. and Rozenberg, G.; Partial (set) 2-structures. Part I: Basic notions and the representation problem. Acta Informatica, 27, pp. 315-342, 1990.
-
(1990)
Acta Informatica
, vol.27
, pp. 315-342
-
-
Ehrenfeucht, A.1
Rozenberg, G.2
-
15
-
-
0025401010
-
Partial (set) 2-structures. Part II: State spaces of concurrent systems
-
[EhR90b]
-
[EhR90b] Ehrenfeucht, A. and Rozenberg, G.: Partial (set) 2-structures. Part II: State spaces of concurrent systems. Acta Informatica, 27, pp. 343-368, 1990.
-
(1990)
Acta Informatica
, vol.27
, pp. 343-368
-
-
Ehrenfeucht, A.1
Rozenberg, G.2
-
16
-
-
0000169535
-
Branching time and abstraction in bisimulation semantics
-
[vGW89]. North-Holland/IFIP
-
[vGW89] van Glabbeek, R. J. and Weijland, W. P.: Branching time and abstraction in bisimulation semantics. In Proceedings of IFIP Congress, pages 613-618. North-Holland/IFIP, 1989.
-
(1989)
Proceedings of IFIP Congress
, pp. 613-618
-
-
Van Glabbeek, R.J.1
Weijland, W.P.2
-
18
-
-
0004201432
-
-
English translation; John Wiley
-
English translation; Graphs and Algorithms. John Wiley, 1984.
-
(1984)
Graphs and Algorithms
-
-
-
19
-
-
0004139863
-
OSI-formal specification case study: The INRES protocol and service
-
[Hog91], University of Bern
-
[Hog91] Hogrefe, D.: OSI-formal specification case study: the INRES protocol and service. Technical Report 91-012, University of Bern, 1991.
-
(1991)
Technical Report
, vol.91
, Issue.12
-
-
Hogrefe, D.1
-
20
-
-
0042666359
-
Distributable nets
-
[Hop91]. Lecture Notes in Computer Science
-
[Hop91] Hopkins, R.: Distributable nets. Advances in Petri Nets 1991, pages 161-187. Lecture Notes in Computer Science, 524, 1991.
-
(1991)
Advances in Petri Nets 1991
, vol.524
, pp. 161-187
-
-
Hopkins, R.1
-
21
-
-
0003845960
-
-
[MaB67]. Chelsea Publishing Company
-
[MaB67] Mac Lane, S. and Birkhoff, G.: Algebra. Chelsea Publishing Company, 1967.
-
(1967)
Algebra
-
-
Mac Lane, S.1
Birkhoff, G.2
-
23
-
-
0004232902
-
-
[Rei85]. EATCS Monographs on Theoretical Computer Science. Springer-Verlag
-
[Rei85] Reisig, W.: Petri Nets. EATCS Monographs on Theoretical Computer Science, volume 4. Springer-Verlag, 1985.
-
(1985)
Petri Nets
, vol.4
-
-
Reisig, W.1
-
24
-
-
0013094488
-
Supervisory control in discrete event systems using the theory of regions
-
[RXG00]. R. Boel and G. Stremersch, editors, Kluwer Academic Publishers
-
[RXG00] Rezg, N., Xie, X. and Ghaffari, A.: Supervisory control in discrete event systems using the theory of regions. In R. Boel and G. Stremersch, editors, Discrete Event Systems: Analysis and Control, pages 391-398 Kluwer Academic Publishers, 2000.
-
(2000)
Discrete Event Systems: Analysis and Control
, pp. 391-398
-
-
Rezg, N.1
Xie, X.2
Ghaffari, A.3
-
26
-
-
33645447064
-
-
[Synet]
-
[Synet] http://ww.irisa.fr/pampa/LOGICIELS/synet/synet.html
-
-
-
-
27
-
-
0000101791
-
Test generation with inputs, outputs and repetitive quiescence
-
[Tre96]
-
[Tre96] Tretmans, J.: Test generation with inputs, outputs and repetitive quiescence. Journal on Software: Concepts and Tools, 17 (3), pp. 391-398, 1996.
-
(1996)
Journal on Software: Concepts and Tools
, vol.17
, Issue.3
, pp. 391-398
-
-
Tretmans, J.1
-
28
-
-
33645441856
-
Concurrent implementation of asynchronous transition systems
-
[Vog99]. Lecture Notes in Computer Science
-
[Vog99] Vogler, W.: Concurrent implementation of asynchronous transition systems. In Proceedings of ICATPN'99, pages 284-303. Lecture Notes in Computer Science, 1639, 1999.
-
(1999)
Proceedings of ICATPN'99
, vol.1639
, pp. 284-303
-
-
Vogler, W.1
-
29
-
-
0031679674
-
Designing control logic for counterflow pipeline processor using Petri nets
-
[Yak98]
-
[Yak98] Yakovlev, A.: Designing control logic for counterflow pipeline processor using Petri nets. Formal Methods in System Design, 12, pp. 39-71, 1998.
-
(1998)
Formal Methods in System Design
, vol.12
, pp. 39-71
-
-
Yakovlev, A.1
|