-
1
-
-
0141680986
-
Workflow mining: A survey of issues and approaches
-
van der Aalst, W. M. P., van Dongen, B. R., Herbst, J., Maruster, L., Schimm, G., Weijters, A. J. M. M.: Workflow mining: A survey of issues and approaches., Data Knowl. Eng., 47(2), 2003, 237-267.
-
(2003)
Data Knowl. Eng
, vol.47
, Issue.2
, pp. 237-267
-
-
van der Aalst, W.M.P.1
van Dongen, B.R.2
Herbst, J.3
Maruster, L.4
Schimm, G.5
Weijters, A.J.M.M.6
-
2
-
-
4544353101
-
Workflow Mining: Discovering Process Models from Event Logs
-
van der Aalst, W. M. P., Weijters, T., Maruster, L.: Workflow Mining: Discovering Process Models from Event Logs., IEEE Trans. Knowl. Data Eng., 16(9), 2004,1128-1142.
-
(2004)
IEEE Trans. Knowl. Data Eng
, vol.16
, Issue.9
, pp. 1128-1142
-
-
van der Aalst, W.M.P.1
Weijters, T.2
Maruster, L.3
-
3
-
-
0004519284
-
On the Synthesis of General Petri Nets
-
Technical Report 3025, Inria
-
Badouel, E., Darondeau, P.: On the Synthesis of General Petri Nets., Technical Report 3025, Inria, 1996.
-
(1996)
-
-
Badouel, E.1
Darondeau, P.2
-
4
-
-
0040880105
-
Theory of Regions
-
Petri Nets W. Reisig, G. Rozenberg, Eds, Springer
-
Badouel, E., Darondeau, P.: Theory of Regions., Petri Nets (W. Reisig, G. Rozenberg, Eds.), Lecture Notes in Computer Science 1491, Springer, 1998, 529-586.
-
(1998)
Lecture Notes in Computer Science
, vol.1491
, pp. 529-586
-
-
Badouel, E.1
Darondeau, P.2
-
5
-
-
38049100957
-
Process Mining Based on Regions of Languages
-
BPM 2007 G. Alonso, P. Dadam, M. Rosemann, Eds, Springer
-
Bergenthum, R., Desel, J., Lorenz, R., Mauser, S.: Process Mining Based on Regions of Languages., BPM 2007 (G. Alonso, P. Dadam, M. Rosemann, Eds.), Lecture Notes in Computer Science 4714, Springer, 2007, 375-383.
-
(2007)
Lecture Notes in Computer Science
, vol.4714
, pp. 375-383
-
-
Bergenthum, R.1
Desel, J.2
Lorenz, R.3
Mauser, S.4
-
6
-
-
58149523666
-
Faster Unfolding of General Petri Nets
-
Bergenthum, R., Lorenz, R., Mauser, S.: Faster Unfolding of General Petri Nets., Proceedings 14. Workshop Algorithmen und Werkzeuge für Petri Netze (AWPN), 2007, 63-68.
-
(2007)
Proceedings 14. Workshop Algorithmen und Werkzeuge für Petri Netze (AWPN)
, pp. 63-68
-
-
Bergenthum, R.1
Lorenz, R.2
Mauser, S.3
-
7
-
-
0031096959
-
Petrify: A tool for manipulating concurrent specifications and synthesis of asynchronous controllers
-
Cortadella, J., Kishinevsky, M., Kondratyev, A., Lavagno, L., Yakovlev, A.: Petrify: A tool for manipulating concurrent specifications and synthesis of asynchronous controllers., IEICE Trans. of Informations and Systems, E80-D(3), 1997, 315-325.
-
(1997)
IEICE Trans. of Informations and Systems
, vol.E80-D
, Issue.3
, pp. 315-325
-
-
Cortadella, J.1
Kishinevsky, M.2
Kondratyev, A.3
Lavagno, L.4
Yakovlev, A.5
-
8
-
-
84947234425
-
Hardware and Petri Nets: Application to Asynchronous Circuit Design
-
ICATPN 2000 M. Nielsen, D. Simpson, Eds, Springer
-
Cortadella, J., Kishinevsky, M., Kondratyev, A., Lavagno, L., Yakovlev, A.: Hardware and Petri Nets: Application to Asynchronous Circuit Design., ICATPN 2000 (M. Nielsen, D. Simpson, Eds.), Lecture Notes in Computer Science 1825, Springer, 2000, 1-15.
-
(2000)
Lecture Notes in Computer Science
, vol.1825
, pp. 1-15
-
-
Cortadella, J.1
Kishinevsky, M.2
Kondratyev, A.3
Lavagno, L.4
Yakovlev, A.5
-
9
-
-
84945977925
-
Deriving Unbounded Petri Nets from Formal Languages
-
CONCUR 1998 D. Sangiorgi, R. de Simone, Eds, Springer
-
Darondeau, P.: Deriving Unbounded Petri Nets from Formal Languages., CONCUR 1998 (D. Sangiorgi, R. de Simone, Eds.), Lecture Notes in Computer Science 1466, Springer, 1998, 533-548.
-
(1998)
Lecture Notes in Computer Science
, vol.1466
, pp. 533-548
-
-
Darondeau, P.1
-
11
-
-
58149508740
-
-
Desel, J., Lorenz, R., Mauser, S., Bergenthum, R.: VipTool-Homepage, 2008, Hrttp://www.informatik.kueichstaett.de/projekte/vip/.
-
Desel, J., Lorenz, R., Mauser, S., Bergenthum, R.: VipTool-Homepage, 2008, Hrttp://www.informatik.kueichstaett.de/projekte/vip/.
-
-
-
-
12
-
-
0030533613
-
The Synthesis Problem of Petri Nets
-
Desel, J., Reisig, W.: The Synthesis Problem of Petri Nets., Acta Inf., 33(4), 1996, 297-315.
-
(1996)
Acta Inf
, vol.33
, Issue.4
, pp. 297-315
-
-
Desel, J.1
Reisig, W.2
-
13
-
-
0025405313
-
Partial (Set) 2-Structures. Part 1: Basic Notions and the Representation Problem
-
Ehrenfeucht, A., Rozenberg, G.: Partial (Set) 2-Structures. Part 1: Basic Notions and the Representation Problem., Acta Inf., 27(4), 1989, 315-342.
-
(1989)
Acta Inf
, vol.27
, Issue.4
, pp. 315-342
-
-
Ehrenfeucht, A.1
Rozenberg, G.2
-
14
-
-
0025401010
-
Partial (Set) 2-Structures. Part 11: State Spaces of Concurrent Systems
-
Ehrenfeucht, A., Rozenberg, G.: Partial (Set) 2-Structures. Part 11: State Spaces of Concurrent Systems., Acta Inf., 27(4), 1989, 343-368.
-
(1989)
Acta Inf
, vol.27
, Issue.4
, pp. 343-368
-
-
Ehrenfeucht, A.1
Rozenberg, G.2
-
15
-
-
0001303720
-
On partial languages
-
Grabowski, J.: On partial languages., Fundamenta Informaticae, 4(2), 1981,428-498.
-
(1981)
Fundamenta Informaticae
, vol.4
, Issue.2
, pp. 428-498
-
-
Grabowski, J.1
-
16
-
-
19144367669
-
A trace semantics for Petri nets
-
Hoogers, P., Kleijn, H., Thiagarajan, P.: A trace semantics for Petri nets., Information and Computation, 117(1), 1995,98-114.
-
(1995)
Information and Computation
, vol.117
, Issue.1
, pp. 98-114
-
-
Hoogers, P.1
Kleijn, H.2
Thiagarajan, P.3
-
17
-
-
21144442166
-
A Programming Approach to the Design of Asynchronous Logic Blocks
-
Concurrency and Hardware Design J. Cortadella, A. Yakovlev, G. Rozenberg, Eds, Springer
-
Josephs, M. B., Furey, D. P.: A Programming Approach to the Design of Asynchronous Logic Blocks., Concurrency and Hardware Design (J. Cortadella, A. Yakovlev, G. Rozenberg, Eds.), Lecture Notes in Computer Science 2549, Springer, 2002, 34-60.
-
(2002)
Lecture Notes in Computer Science
, vol.2549
, pp. 34-60
-
-
Josephs, M.B.1
Furey, D.P.2
-
18
-
-
26444558161
-
Can 1 Execute My Scenario in Your Net?
-
ICATPN 2005 G. Ciardo, P. Darondeau, Eds, Springer
-
Juliás, G., Lorenz, R., Desel, J.: Can 1 Execute My Scenario in Your Net?, ICATPN 2005 (G. Ciardo, P. Darondeau, Eds.), Lecture Notes in Computer Science 3536, Springer, 2005,289-308.
-
(2005)
Lecture Notes in Computer Science
, vol.3536
, pp. 289-308
-
-
Juliás, G.1
Lorenz, R.2
Desel, J.3
-
19
-
-
0346927758
-
On the Interrelation Between Synchronized and Non-Synchronized Behaviour of Petri Nets
-
Kiehn, A,: On the Interrelation Between Synchronized and Non-Synchronized Behaviour of Petri Nets., Elektronische Informationsverarbeitung und Kybernetik, 24(1/2), 1988, 3-18,
-
(1988)
Elektronische Informationsverarbeitung und Kybernetik
, vol.24
, Issue.1-2
, pp. 3-18
-
-
Kiehn, A.1
-
20
-
-
51149116824
-
Synthesis of Petri Nets from Finite Partial Languages
-
IEEE Computer Society
-
Lorenz, R., Bergenthum, R., Desel, J., Mauser, S.: Synthesis of Petri Nets from Finite Partial Languages., ACSD 2007, IEEE Computer Society, 2007,157-166.
-
(2007)
ACSD 2007
, pp. 157-166
-
-
Lorenz, R.1
Bergenthum, R.2
Desel, J.3
Mauser, S.4
-
21
-
-
33746099373
-
Towards Synthesis of Petri Nets from Scenarios
-
ICATPN 2006 S. Donatelli, P. S. Thiagarajan, Eds, Springer
-
Lorenz, R., Juhás, G.: Towards Synthesis of Petri Nets from Scenarios., ICATPN 2006 (S. Donatelli, P. S. Thiagarajan, Eds.), Lecture Notes in Computer Science 4024, Springer, 2006, 302-321.
-
(2006)
Lecture Notes in Computer Science
, vol.4024
, pp. 302-321
-
-
Lorenz, R.1
Juhás, G.2
-
22
-
-
49749102387
-
How to Synthesize Nets from Languages - a Survey
-
IEEE Computer Society
-
Lorenz, R., Juhás, G., Mauser, S.: How to Synthesize Nets from Languages - a Survey., Proceedings of the Wintersimulation Confernce (WSC) 2007, IEEE Computer Society, 2007, 637-647.
-
(2007)
Proceedings of the Wintersimulation Confernce (WSC) 2007
, pp. 637-647
-
-
Lorenz, R.1
Juhás, G.2
Mauser, S.3
-
25
-
-
34250124963
-
Modelling Concurrency with Partial Orders
-
Pratt, V.: Modelling Concurrency with Partial Orders., Int. Journal of Parallel Programming, 15, 1986, 33-71.
-
(1986)
Int. Journal of Parallel Programming
, vol.15
, pp. 33-71
-
-
Pratt, V.1
-
27
-
-
0001599825
-
Algorithm for finding a general formula for the non-negative solutions of a system of linear inequalities
-
Tschernikow, S. N.: Algorithm for finding a general formula for the non-negative solutions of a system of linear inequalities., USSR Computational Mathematics and Mathematical Physics, 5(2), 1965, 228-233.
-
(1965)
USSR Computational Mathematics and Mathematical Physics
, vol.5
, Issue.2
, pp. 228-233
-
-
Tschernikow, S.N.1
-
29
-
-
0003310162
-
Modular Construction and Partial Order Semantics of Petri Nets
-
of, Springer
-
Vogler, W.: Modular Construction and Partial Order Semantics of Petri Nets, vol. 625 of Lecture Notes in Computer Science, Springer, 1992.
-
(1992)
Lecture Notes in Computer Science
, vol.625
-
-
Vogler, W.1
|