-
1
-
-
0002307971
-
Workflow verification: Finding control-flow errors using Petri-net-based techniques
-
W.M.P. van Aalst, "Workflow verification: finding control-flow errors using Petri-net-based techniques", LNCS, 1806, pp. 161-183, 2000.
-
(2000)
LNCS
, vol.1806
, pp. 161-183
-
-
van Aalst, W.M.P.1
-
2
-
-
0000940701
-
Checking properties of nets using transformations
-
G. Berthelot, "Checking properties of nets using transformations", LNCS, 222, pp. 19-40, 1986.
-
(1986)
LNCS
, vol.222
, pp. 19-40
-
-
Berthelot, G.1
-
3
-
-
0002198896
-
A survey of behavior and equivalence preserving refinement of petri nets
-
W. Brauer, R. Gold and W. Vogler, "A survey of behavior and equivalence preserving refinement of petri nets", LNCS, 483, pp. 1-40, 1990.
-
(1990)
LNCS
, vol.483
, pp. 1-40
-
-
Brauer, W.1
Gold, R.2
Vogler, W.3
-
4
-
-
36949006818
-
Regular marked Petri nets
-
J. Desel, "Regular marked Petri nets", LNCS, 790, pp. 264-275, 1993.
-
(1993)
LNCS
, vol.790
, pp. 264-275
-
-
Desel, J.1
-
5
-
-
0002477281
-
Place/transition Petri nets
-
J. Desel, "Place/transition Petri nets", LNCS, 1491, pp. 122-173, 1998.
-
(1998)
LNCS
, vol.1491
, pp. 122-173
-
-
Desel, J.1
-
9
-
-
0034506496
-
Development of real-time system specifications through the refinement of duration interval Petri nets
-
8-11 October, Nashville, TN
-
D. Gurovic, W. Fengler and J. Nutzel, "Development of real-time system specifications through the refinement of duration interval Petri nets", in Proc. IEEE Int. Conf. on Systems, Man, and Cybernetics (SMC2000), 8-11 October 2000, Nashville, TN, 2000, Vol. 4, pp. 3093-3098.
-
(2000)
Proc. IEEE Int. Conf. on Systems, Man, and Cybernetics (SMC2000)
, vol.4
, pp. 3093-3098
-
-
Gurovic, D.1
Fengler, W.2
Nutzel, J.3
-
10
-
-
9544230696
-
Structure and behavior preservation by Petri-net-based refinements in system design
-
H. Huang, T.Y. Cheung and W. Mak, "Structure and behavior preservation by Petri-net-based refinements in system design", Theoretical Computer Science, 328, pp. 245-269, 2004.
-
(2004)
Theoretical Computer Science
, vol.328
, pp. 245-269
-
-
Huang, H.1
Cheung, T.Y.2
Mak, W.3
-
11
-
-
0027308051
-
A review of synthesis techniques for Petri nets with application to automated manufacturing systems
-
January
-
M.D. Jeng and F. DiCesare, "A review of synthesis techniques for Petri nets with application to automated manufacturing systems", IEEE T. Syst. Man Cyc., 23, pp. 301-312, January 1993.
-
(1993)
IEEE T. Syst. Man Cyc
, vol.23
, pp. 301-312
-
-
Jeng, M.D.1
DiCesare, F.2
-
12
-
-
0346264922
-
Rule-based refinement of Petri nets: A survey
-
J. Padberg and M. Urbasek, "Rule-based refinement of Petri nets: a survey", LNCS, 2472, pp. 161-196, 2003.
-
(2003)
LNCS
, vol.2472
, pp. 161-196
-
-
Padberg, J.1
Urbasek, M.2
-
13
-
-
0001410753
-
Linear algebraic and linear programming techniques for the analysis of place/transition net systems
-
M. Sliva, E. Teruel and J.M. Colom, "Linear algebraic and linear programming techniques for the analysis of place/transition net systems", LNCS, 1491, pp. 309-373, 1998.
-
(1998)
LNCS
, vol.1491
, pp. 309-373
-
-
Sliva, M.1
Teruel, E.2
Colom, J.M.3
-
14
-
-
0032634879
-
On supervisory policies that enforce liveness in a class of completely controlled Petri nets obtained via refinement
-
January
-
R.S. Sreenivas, "On supervisory policies that enforce liveness in a class of completely controlled Petri nets obtained via refinement", IEEE Trans. Autmat. Contr., 44, pp. 173-177, January 1999.
-
(1999)
IEEE Trans. Autmat. Contr
, vol.44
, pp. 173-177
-
-
Sreenivas, R.S.1
-
15
-
-
0020795351
-
A method for stepwise refinement and abstraction of Petri nets
-
I. Suzuki and T. Murata, "A method for stepwise refinement and abstraction of Petri nets", J. Compta. Syst. Sci., 27, pp. 51-76, 1983.
-
(1983)
J. Compta. Syst. Sci
, vol.27
, pp. 51-76
-
-
Suzuki, I.1
Murata, T.2
-
16
-
-
18944391956
-
Modeling Petri net based systems by net transformations: New developments
-
July
-
M. Urbasek, "Modeling Petri net based systems by net transformations: new developments", Electron. Notes Theor. Comput. Sci., 82, pp. 1-18, July 2003.
-
(2003)
Electron. Notes Theor. Comput. Sci
, vol.82
, pp. 1-18
-
-
Urbasek, M.1
-
17
-
-
0002367242
-
Analysis of Petri nets by stepwise refinements
-
R. Valette, "Analysis of Petri nets by stepwise refinements", J. Comput. Syst. Sci., 18, pp. 35-46, 1979.
-
(1979)
J. Comput. Syst. Sci
, vol.18
, pp. 35-46
-
-
Valette, R.1
|