1: \begin{thebibliography}{}
2:
3: \bibitem[\protect\citeauthoryear{Abdulla, {C}er{\=a}ns, Jonsson, and
4: Tsay}{Abdulla et~al\mbox{.}}{1996}]{ACJT96}
5: {\sc Abdulla, P.~A.}, {\sc {C}er{\=a}ns, K.}, {\sc Jonsson, B.}, {\sc and} {\sc
6: Tsay, Y.-K.} 1996.
7: \newblock {General Decidability Theorems for Infinite-State Systems}.
8: \newblock In {\em {Proceedings 11th Annual International Symposium on Logic in
9: Computer Science (LICS'96)}}. {IEEE Computer Society Press}, New Brunswick,
10: New Jersey, 313--321.
11:
12: \bibitem[\protect\citeauthoryear{Abdulla and Jonsson}{Abdulla and
13: Jonsson}{2001}]{AJ01a}
14: {\sc Abdulla, P.~A.} {\sc and} {\sc Jonsson, B.} 2001.
15: \newblock {Ensuring Completeness of Symbolic Verification Methods for
16: Infinite-State Systems}.
17: \newblock {\em {Theoretical Computer Science}\/}~{\em 256,\/}~1-2, 145--167.
18:
19: \bibitem[\protect\citeauthoryear{Andreoli}{Andreoli}{1992}]{And92}
20: {\sc Andreoli, J.-M.} 1992.
21: \newblock {Logic Programming with Focusing Proofs in Linear Logic}.
22: \newblock {\em {Journal of Logic and Computation}\/}~{\em 2,\/}~3, 297--347.
23:
24: \bibitem[\protect\citeauthoryear{Andreoli and Pareschi}{Andreoli and
25: Pareschi}{1990}]{AP90}
26: {\sc Andreoli, J.-M.} {\sc and} {\sc Pareschi, R.} 1990.
27: \newblock {Linear Objects: Logical Processes with Built-In Inheritance}.
28: \newblock In {\em Proceedings of the 7th International Conference on Logic
29: Programming}, {D.~Warren} {and} {P.Szeredi}, Eds. MIT Press, Cambridge, MA,
30: 495--510.
31:
32: \bibitem[\protect\citeauthoryear{Andreoli and Pareschi}{Andreoli and
33: Pareschi}{1991}]{AP91a}
34: {\sc Andreoli, J.-M.} {\sc and} {\sc Pareschi, R.} 1991.
35: \newblock {Linear Objects: Logical Processes with Built-In Inheritance}.
36: \newblock {\em {New Generation Computing}\/}~{\em 9,\/}~3-4, 445--473.
37:
38: \bibitem[\protect\citeauthoryear{Andreoli, Pareschi, and Castagnetti}{Andreoli
39: et~al\mbox{.}}{1997}]{APC97}
40: {\sc Andreoli, J.-M.}, {\sc Pareschi, R.}, {\sc and} {\sc Castagnetti, T.}
41: 1997.
42: \newblock {Static Analysis of Linear Logic Programming}.
43: \newblock {\em {New Generation Computing}\/}~{\em 15,\/}~4, 449--481.
44:
45: \bibitem[\protect\citeauthoryear{Bossi, Gabbrielli, Levi, and Martelli}{Bossi
46: et~al\mbox{.}}{1994}]{BGLM94}
47: {\sc Bossi, A.}, {\sc Gabbrielli, M.}, {\sc Levi, G.}, {\sc and} {\sc Martelli,
48: M.} 1994.
49: \newblock {The s-Semantics Approach: Theory and Applications}.
50: \newblock {\em Journal of Logic Programming\/}~{\em 19-20}, 149--197.
51:
52: \bibitem[\protect\citeauthoryear{Bozzano}{Bozzano}{2002}]{Boz02}
53: {\sc Bozzano, M.} 2002.
54: \newblock {A Logic-Based Approach to Model Checking of Parameterized and
55: Infinite-State Systems}.
56: \newblock Ph.D. thesis, {Universit\`a di Genova}.
57:
58: \bibitem[\protect\citeauthoryear{Bozzano and Delzanno}{Bozzano and
59: Delzanno}{2002}]{BD02a}
60: {\sc Bozzano, M.} {\sc and} {\sc Delzanno, G.} 2002.
61: \newblock {Automated Protocol Verification in Linear Logic}.
62: \newblock In {\em {Proceedings 4th International Conference on Principles and
63: Practice of Declarative Programming (PPDP'02)}}. {ACM Press}, {Pittsburgh,
64: Pennsylvania}, 38--49.
65:
66: \bibitem[\protect\citeauthoryear{Bozzano, Delzanno, and Martelli}{Bozzano
67: et~al\mbox{.}}{2001}]{BDM01a}
68: {\sc Bozzano, M.}, {\sc Delzanno, G.}, {\sc and} {\sc Martelli, M.} 2001.
69: \newblock {An Effective Bottom-Up Semantics for First Order Linear Logic
70: Programs}.
71: \newblock In {\em {Proceedings 5th International Symposium on Functional and
72: Logic Programming (FLOPS'01)}}, {H.~Kuchen} {and} {K.~Ueda}, Eds. {LNCS},
73: vol. 2024. Springer-Verlag, {Tokyo, Japan}, 138--152.
74:
75: \bibitem[\protect\citeauthoryear{Bozzano, Delzanno, and Martelli}{Bozzano
76: et~al\mbox{.}}{2002}]{BDM02a}
77: {\sc Bozzano, M.}, {\sc Delzanno, G.}, {\sc and} {\sc Martelli, M.} 2002.
78: \newblock {An Effective Fixpoint Semantics for Linear Logic Programs}.
79: \newblock {\em {Theory and Practice of Logic Programming}\/}~{\em 2,\/}~1,
80: 85--122.
81:
82: \bibitem[\protect\citeauthoryear{Cervesato}{Cervesato}{1994}]{Cer94b}
83: {\sc Cervesato, I.} 1994.
84: \newblock {Petri Nets as Multiset Rewriting Systems in a Linear Framework}.
85: \newblock {Unpublished manuscript. Draft available from URL
86: http://theory.stanford.edu/$\sim$iliano/forthcoming.html}.
87:
88: \bibitem[\protect\citeauthoryear{Cervesato}{Cervesato}{1995}]{Cer95}
89: {\sc Cervesato, I.} 1995.
90: \newblock {Petri Nets and Linear Logic: a Case Study for Logic Programming}.
91: \newblock In {\em {Proceedings 1995 Joint Conference on Declarative Programming
92: (GULP-PRODE'95)}}, {{M.~Alpuente and M.~I.~Sessa}}, Ed. Palladio Press,
93: {Marina di Vietri, Italy}, 313--318.
94:
95: \bibitem[\protect\citeauthoryear{Cervesato, Durgin, Kanovich, and
96: Scedrov}{Cervesato et~al\mbox{.}}{2000}]{CDKS00}
97: {\sc Cervesato, I.}, {\sc Durgin, N.}, {\sc Kanovich, M.}, {\sc and} {\sc
98: Scedrov, A.} 2000.
99: \newblock {Interpreting Strands in Linear Logic}.
100: \newblock In {\em {Proceedings 2000 Workshop on Formal Methods and Computer
101: Security (FMCS'00)}}, {H.~Veith}, {N.~Heintze}, {and} {E.~Clarke}, Eds.
102: {Chicago, Illinois}.
103:
104: \bibitem[\protect\citeauthoryear{Cervesato, Durgin, Lincoln, Mitchell, and
105: Scedrov}{Cervesato et~al\mbox{.}}{1999}]{CDLMS99}
106: {\sc Cervesato, I.}, {\sc Durgin, N.}, {\sc Lincoln, P.}, {\sc Mitchell, J.},
107: {\sc and} {\sc Scedrov, A.} 1999.
108: \newblock {A Meta-notation for Protocol Analysis}.
109: \newblock In {\em {12th Computer Security Foundations Workshop (CSFW'99)}},
110: {R.~Gorrieri}, Ed. {IEEE Computer Society Press}, {Mordano, Italy}, 55--69.
111:
112: \bibitem[\protect\citeauthoryear{Cervesato and Pfenning}{Cervesato and
113: Pfenning}{2002}]{CP02}
114: {\sc Cervesato, I.} {\sc and} {\sc Pfenning, F.} 2002.
115: \newblock {A Linear Logical Framework}.
116: \newblock {\em {Information and Computation}\/}~{\em 179,\/}~1, 19--75.
117:
118: \bibitem[\protect\citeauthoryear{Delzanno and Martelli}{Delzanno and
119: Martelli}{2001}]{DM01}
120: {\sc Delzanno, G.} {\sc and} {\sc Martelli, M.} 2001.
121: \newblock {Proofs as Computations in Linear Logic}.
122: \newblock {\em Theoretical Computer Science\/}~{\em 258,\/}~1-2, 269--297.
123:
124: \bibitem[\protect\citeauthoryear{Dickson}{Dickson}{1913}]{Dic13}
125: {\sc Dickson, L.~E.} 1913.
126: \newblock {Finiteness of the Odd Perfect and Primitive Abundant Numbers with n
127: Distinct Prime Factors}.
128: \newblock {\em {American Journal of Mathematics}\/}~{\em 35}, 413--422.
129:
130: \bibitem[\protect\citeauthoryear{Durgin, Lincoln, Mitchell, and Scedrov}{Durgin
131: et~al\mbox{.}}{1999}]{DLMS99}
132: {\sc Durgin, N.}, {\sc Lincoln, P.}, {\sc Mitchell, J.}, {\sc and} {\sc
133: Scedrov, A.} 1999.
134: \newblock {Undecidability of bounded security protocols}.
135: \newblock In {\em {Workshop on Formal Methods and Security Protocols
136: (FMSP'99)}}, {R.~Gorrieri}, Ed. {Trento, Italy}.
137:
138: \bibitem[\protect\citeauthoryear{Eder}{Eder}{1985}]{Ede85}
139: {\sc Eder, E.} 1985.
140: \newblock {Properties of Substitutions and Unifications}.
141: \newblock {\em {Journal of Symbolic Computation}\/}~{\em 1}, 31--46.
142:
143: \bibitem[\protect\citeauthoryear{Elliott and Pfenning}{Elliott and
144: Pfenning}{1991}]{EP91}
145: {\sc Elliott, C.} {\sc and} {\sc Pfenning, F.} 1991.
146: \newblock {A Semi-Functional Implementation of a Higher-Order Logic Programming
147: Language}.
148: \newblock In {\em {Topics in Advanced Language Implementation}}, {P.~Lee}, Ed.
149: {MIT Press}, 289--325.
150:
151: \bibitem[\protect\citeauthoryear{Engberg and Winskel}{Engberg and
152: Winskel}{1990}]{EW90}
153: {\sc Engberg, U.} {\sc and} {\sc Winskel, G.} 1990.
154: \newblock {P}etri nets as models of linear logic.
155: \newblock In {\em Proceedings of Colloquium on Trees in Algebra and
156: Programming}, {A.~Arnold}, Ed. {LNCS}, vol. 389. {Springer-Verlag},
157: Copenhagen, Denmark, 147--161.
158:
159: \bibitem[\protect\citeauthoryear{Esparza, Finkel, and Mayr}{Esparza
160: et~al\mbox{.}}{1999}]{EFM99}
161: {\sc Esparza, J.}, {\sc Finkel, A.}, {\sc and} {\sc Mayr, R.} 1999.
162: \newblock {On the Verification of Broadcast Protocols}.
163: \newblock In {\em {Proceedings 14th International Symposium on Logic in
164: Computer Science (LICS'99)}}. {IEEE Computer Society Press}, {Trento, Italy},
165: 352--359.
166:
167: \bibitem[\protect\citeauthoryear{Esparza and Melzer}{Esparza and
168: Melzer}{2000}]{EM00}
169: {\sc Esparza, J.} {\sc and} {\sc Melzer, S.} 2000.
170: \newblock {Verification of safety properties using integer programming: Beyond
171: the state equation}.
172: \newblock {\em {Formal Methods in System Design}\/}~{\em 16}, 159--189.
173:
174: \bibitem[\protect\citeauthoryear{Falaschi, Levi, Martelli, and
175: Palamidessi}{Falaschi et~al\mbox{.}}{1993}]{FLMP93}
176: {\sc Falaschi, M.}, {\sc Levi, G.}, {\sc Martelli, M.}, {\sc and} {\sc
177: Palamidessi, C.} 1993.
178: \newblock {A Model-Theoretic Reconstruction of the Operational Semantics of
179: Logic Programs}.
180: \newblock {\em {Information and Computation}\/}~{\em 103,\/}~1, 86--113.
181:
182: \bibitem[\protect\citeauthoryear{Farwer}{Farwer}{1999}]{Far99}
183: {\sc Farwer, B.} 1999.
184: \newblock {A Linear Logic View of Object Petri Nets}.
185: \newblock {\em {Fundamenta Informaticae}\/}~{\em 37,\/}~3, 225--246.
186:
187: \bibitem[\protect\citeauthoryear{Farwer}{Farwer}{2000}]{Far00}
188: {\sc Farwer, B.} 2000.
189: \newblock {\em {Linear Logic Based Calculi for Object Petri Nets}}.
190: \newblock {Logos Verlag}.
191: \newblock {PhD thesis}.
192:
193: \bibitem[\protect\citeauthoryear{Finkel}{Finkel}{1993}]{Fin93}
194: {\sc Finkel, A.} 1993.
195: \newblock The minimal coverability graph for petri nets.
196: \newblock In {\em Advances in Petri Nets 1993}, {G.~Rozenberg}, Ed. LNCS, vol.
197: 674. Springer Verlag, 210--243.
198:
199: \bibitem[\protect\citeauthoryear{Finkel and Schnoebelen}{Finkel and
200: Schnoebelen}{2001}]{FS01}
201: {\sc Finkel, A.} {\sc and} {\sc Schnoebelen, P.} 2001.
202: \newblock {Well-Structured Transition Systems Everywhere!}
203: \newblock {\em {Theoretical Computer Science}\/}~{\em 256,\/}~1-2, 63--92.
204:
205: \bibitem[\protect\citeauthoryear{Gabbrielli, Dore, and Levi}{Gabbrielli
206: et~al\mbox{.}}{1995}]{GDL95}
207: {\sc Gabbrielli, M.}, {\sc Dore, M.~G.}, {\sc and} {\sc Levi, G.} 1995.
208: \newblock {Observable semantics for Constraint Logic Programs}.
209: \newblock {\em {Journal of Logic and Computation}\/}~{\em 5,\/}~2, 133--171.
210:
211: \bibitem[\protect\citeauthoryear{Girard}{Girard}{1987}]{Gir87}
212: {\sc Girard, J.-Y.} 1987.
213: \newblock Linear logic.
214: \newblock {\em Theoretical Computer Science\/}~{\em 50:1}, 1--102.
215:
216: \bibitem[\protect\citeauthoryear{Harland and Winikoff}{Harland and
217: Winikoff}{1998}]{HW98}
218: {\sc Harland, J.} {\sc and} {\sc Winikoff, M.} 1998.
219: \newblock {Making Logic Programs Reactive}.
220: \newblock In {\em {Proceedings Workshop on Transactions and Change in Logic
221: Databases (Dynamics'98)}}. {Manchester, UK}, 43--58.
222:
223: \bibitem[\protect\citeauthoryear{Higman}{Higman}{1952}]{Hig52}
224: {\sc Higman, G.} 1952.
225: \newblock {Ordering by divisibility in abstract algebras}.
226: \newblock {\em {Proceedings London Mathematical Society}\/}~{\em 2}, 326--336.
227:
228: \bibitem[\protect\citeauthoryear{Hodas and Miller}{Hodas and
229: Miller}{1990}]{HM89}
230: {\sc Hodas, J.} {\sc and} {\sc Miller, D.} 1990.
231: \newblock {Representing Objects in a Logic Programming Language with Scoping
232: Constructs}.
233: \newblock In {\em Proceedins of 7th International Conference on Logic
234: Programming}, {D.~H. Warren} {and} {P.~Szeredi}, Eds. The MIT Press,
235: Cambridge, MA, 511--526.
236:
237: \bibitem[\protect\citeauthoryear{Jensen}{Jensen}{1997}]{Jen97}
238: {\sc Jensen, K.} 1997.
239: \newblock {\em {Coloured Petri-Nets. Basic Concepts, Analysis Methods and
240: Practical Use. Volume 1, 2 and 3.}}
241: \newblock {Monographs in Theoretical Computer Science}. {Springer-Verlag}.
242:
243: \bibitem[\protect\citeauthoryear{Karp and Miller}{Karp and Miller}{1969}]{KM69}
244: {\sc Karp, R.~M.} {\sc and} {\sc Miller, R.~E.} 1969.
245: \newblock {Parallel Program Schemata}.
246: \newblock {\em {Journal of Computer and System Sciences}\/}~{\em 3,\/}~2,
247: 147--195.
248:
249: \bibitem[\protect\citeauthoryear{Kobayashi and Yonezawa}{Kobayashi and
250: Yonezawa}{1994}]{KY94}
251: {\sc Kobayashi, N.} {\sc and} {\sc Yonezawa, A.} 1994.
252: \newblock {Type-Theoretic Foundations for Concurrent Object-Oriented
253: Programming}.
254: \newblock In {\em {Proceedings 9th Conference on Object Oriented Programming
255: Systems, Languages and Applications (OOPSLA'94)}}. SIGPLAN Notices, vol.~29.
256: {Portland, Oregon}, 31--45.
257:
258: \bibitem[\protect\citeauthoryear{Kobayashi and Yonezawa}{Kobayashi and
259: Yonezawa}{1995}]{KY95}
260: {\sc Kobayashi, N.} {\sc and} {\sc Yonezawa, A.} 1995.
261: \newblock {Asynchronous Communication Model based on Linear Logic}.
262: \newblock {\em {Formal Aspects of Computing}\/}~{\em 7,\/}~2, 113--149.
263:
264: \bibitem[\protect\citeauthoryear{Kopylov}{Kopylov}{1995}]{Kop95}
265: {\sc Kopylov, A.~P.} 1995.
266: \newblock {Decidability of Linear Affine Logic}.
267: \newblock In {\em {Proceedings 10th Annual International Symposium on Logic in
268: Computer Science (LICS'95)}}, {D.~Kozen}, Ed. {IEEE Computer Society Press},
269: {San Diego, California}, 496--504.
270:
271: \bibitem[\protect\citeauthoryear{Lassez, Maher, and Marriott}{Lassez
272: et~al\mbox{.}}{1988}]{LMM88}
273: {\sc Lassez, J.-L.}, {\sc Maher, J.}, {\sc and} {\sc Marriott, K.} 1988.
274: \newblock {Unification Revisited}.
275: \newblock In {\em {Foundations of Deductive Databases and Logic Programming}},
276: {J.~Minker}, Ed. {Morgan Kaufmann}, 587--625.
277:
278: \bibitem[\protect\citeauthoryear{Lincoln}{Lincoln}{1995}]{Lin95}
279: {\sc Lincoln, P.} 1995.
280: \newblock Deciding provability of linear logic formulas.
281: \newblock In {\em Advances in Linear Logic}. London Mathematical Society
282: Lecture Notes Series, vol. 222. Cambridge University Press.
283:
284: \bibitem[\protect\citeauthoryear{Lincoln, Mitchell, Scedrov, and
285: Shankar}{Lincoln et~al\mbox{.}}{1992}]{LMSS92}
286: {\sc Lincoln, P.}, {\sc Mitchell, J.}, {\sc Scedrov, A.}, {\sc and} {\sc
287: Shankar, N.} 1992.
288: \newblock Decision problems for propositional linear logic.
289: \newblock {\em Annals of Pure and Applied Logic\/}~{\em 56}, 239--311.
290: \newblock Also in the Proceedings of the 31th Annual Symposium on Foundations
291: of Computer Science, St Louis, Missouri, October 1990, IEEE Computer Society
292: Press. Also available as Technical Report SRI-CSL-90-08 from SRI
293: International, Computer Science Laboratory.
294:
295: \bibitem[\protect\citeauthoryear{Lincoln and Scedrov}{Lincoln and
296: Scedrov}{1994}]{LSce94}
297: {\sc Lincoln, P.} {\sc and} {\sc Scedrov, A.} 1994.
298: \newblock {First Order Linear Logic Without Modalities is NEXPTIME-Hard}.
299: \newblock {\em {Theoretical Computer Science}\/}~{\em 135}, 139--154.
300:
301: \bibitem[\protect\citeauthoryear{Mart{\'\i}-Oliet and
302: Meseguer}{Mart{\'\i}-Oliet and Meseguer}{1991}]{MM91}
303: {\sc Mart{\'\i}-Oliet, N.} {\sc and} {\sc Meseguer, J.} 1991.
304: \newblock {From Petri Nets to Linear Logic through Categories: A Survey}.
305: \newblock {\em {International Journal of Foundations of Computer
306: Science}\/}~{\em 2,\/}~4, 297--399.
307:
308: \bibitem[\protect\citeauthoryear{Mayr}{Mayr}{1984}]{May84}
309: {\sc Mayr, E.~W.} 1984.
310: \newblock {An Algorithm for the General Petri Net Reachability Problem }.
311: \newblock {\em {SIAM J. Comput.}\/}~{\em 13}, 441--460.
312:
313: \bibitem[\protect\citeauthoryear{McDowell, Miller, and Palamidessi}{McDowell
314: et~al\mbox{.}}{1996}]{MMP96}
315: {\sc McDowell, R.}, {\sc Miller, D.}, {\sc and} {\sc Palamidessi, C.} 1996.
316: \newblock {Encoding Transition Systems in Sequent Calculus}.
317: \newblock In {\em {Proceedings Linear Logic 96 Tokyo Meeting}}, {J.-Y. Girard},
318: {M.~Okada}, {and} {A.~Scedrov}, Eds. {ENTCS}, vol.~3. {Elsevier}, {Keio
319: University, Tokyo, Japan}.
320:
321: \bibitem[\protect\citeauthoryear{Meseguer}{Meseguer}{1992}]{Mes92}
322: {\sc Meseguer, J.} 1992.
323: \newblock {Conditional Rewriting Logic as a Unified Model of Concurrency}.
324: \newblock {\em {Theoretical Computer Science}\/}~{\em 96,\/}~1, 73--155.
325:
326: \bibitem[\protect\citeauthoryear{Miller}{Miller}{1993}]{Mil93}
327: {\sc Miller, D.} 1993.
328: \newblock {The $\pi$-Calculus as a Theory in Linear Logic: Preliminary
329: Results}.
330: \newblock In {\em {Proceedings Workshop on Extensions of Logic Programming}},
331: {E.~Lamma} {and} {P.~Mello}, Eds. LNCS, vol. 660. {Springer-Verlag},
332: {Bologna, Italy}, 242--265.
333:
334: \bibitem[\protect\citeauthoryear{Miller}{Miller}{1996}]{Mil96}
335: {\sc Miller, D.} 1996.
336: \newblock {Forum: A Multiple-Conclusion Specification Logic}.
337: \newblock {\em Theoretical Computer Science\/}~{\em 165,\/}~1, 201--232.
338:
339: \bibitem[\protect\citeauthoryear{Miller, Nadathur, Pfenning, and
340: Scedrov}{Miller et~al\mbox{.}}{1991}]{MNPS91}
341: {\sc Miller, D.}, {\sc Nadathur, G.}, {\sc Pfenning, F.}, {\sc and} {\sc
342: Scedrov, A.} 1991.
343: \newblock {Uniform Proofs as a Foundation for Logic Programming}.
344: \newblock {\em Annals of Pure and Applied Logic\/}~{\em 51}, 125--157.
345:
346: \bibitem[\protect\citeauthoryear{Milner}{Milner}{1985}]{Mil85}
347: {\sc Milner, E.~C.} 1985.
348: \newblock {Basic wqo- and bqo-theory}.
349: \newblock In {\em {Graphs and Orders}}, {I.~Rival}, Ed. {D.~Reidel Publishing
350: Company}, 487--502.
351:
352: \bibitem[\protect\citeauthoryear{Palamidessi}{Palamidessi}{1990}]{Pal90}
353: {\sc Palamidessi, C.} 1990.
354: \newblock {Algebraic properties of idempotent substitutions}.
355: \newblock In {\em {Proceedings 17th International Colloquium on Automata,
356: Languages and Programming (ICALP '90)}}, {M.~S. Paterson}, Ed. {LNCS}, vol.
357: 443. {Springer Verlag}, {Warwick University, England}, 386--399.
358:
359: \bibitem[\protect\citeauthoryear{Silva, Teruel, and Colom}{Silva
360: et~al\mbox{.}}{1998}]{STC98}
361: {\sc Silva, M.}, {\sc Teruel, E.}, {\sc and} {\sc Colom, J.} 1998.
362: \newblock {Linear Algebraic and Linear Programming Techniques for the Analysis
363: of Place/Transition Net Systems}.
364: \newblock In {\em {Lectures in Petri Nets. I: Basic Models}}, {G.~Rozenberg}
365: {and} {W.~Reisig}, Eds. {LNCS}, vol. 1491. {Springer-Verlag}, 309--373.
366:
367: \end{thebibliography}
368: