Representation and execution of Petri nets using rewriting logic as a unifying framework

Electronic Notes in Theoretical Computer Science

Volumn 44, Issue 4, 2001, Pages 140-162

  Stehr, Mark Oliver ^a   Meseguer, José ^a   Ölveczky, Peter Csaba ^a  

^a SRI INTERNATIONAL   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DATABASE SYSTEMS; FORMAL LOGIC; FUNCTIONS; MATHEMATICAL MODELS; PROBLEM SOLVING; SYNTACTICS; USER INTERFACES;

ALGEBRAIC NETS; BEST-DEVILLERS PROCESS SEMANTICS; REWRITING LOGICS; TRANSITION NETS;

PETRI NETS;

EID: 0009897407     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)80949-6     Document Type: Conference Paper

References (69)

1. van der Aalst W.M.P. Interval timed coloured Petri nets and their analysis. Marsan M.A. Application and Theory of Petri Nets 1993, volume 691 of Lecture Notes in Computer Science. 1993;453-472 Springer-Verlag
2. N. A. Anisimov, K. Kishinski, A. Miloslavski, and P. A. Postupalski. Macroplaces in high level Petri nets: Application for design inbound call center. In Proceedings of the Int. Conference on Information System Analysis and Synthesis (ISAS'96), Orlando, FL, USA, pages 153-160, July 1996.
3. A. Asperti. A logic for concurrency. unpublished manuscript, November 1987.
4. Battiston E., De Cindio F., Mauri G. OBJSA nets: a class of high-level nets having objects as domains. Rozenberg G. Advances in Petri Nets, volume 340 of Lecture Notes in Computer Science. 1988;Springer-Verlag
5. B. Berthomieu, N. Choquet, C. Colin, B. Loyer, J. M. Martin, and A. Mauboussin. Abstract data nets: Combining Petri nets and abstract data types for high level specifications of distributed systems. In Proc. of the Seventh Workshop on Applications and Theory of Petri Nets, Oxford, UK, pages 25-48, 1986.
6. Best E., Devillers R. Sequential and concurrent behaviour in Petri net theory. Theoretical Computer Science. 55:1987;87-136
7. Bouhoula A., Jouannaud J.-P., Meseguer J. Specification and proof in membership equational logic. Theoretical Computer Science. 236:2000;35-132
8. C. Brown. Relating Petri nets to formulae of linear logic. Technical Report ECS-LFCS-89-87, Laboratory of Foundations of Computer Science, University of Edinburgh, June 1989.
9. C. Brown and D. Gurr. A categorical linear framework for Petri nets. In Proc. Fifth Annual IEEE Symposium on Logic in Computer Science, pages 208-218, June 1990.
10. R. Bruni, J. Meseguer, U. Montanari, and V. Sassone. A comparison of Petri net semantics under the collective token philosophy. In J. Hsiang and A. Ohori, editors, Proceedings of ASIAN'98, 4th Asian Computing Science Conference, volume 1538 of Lecture Notes in Computer Science, pages 225-244. Springer Verlag, 1998.
11. R. Bruni, J. Meseguer, U. Montanari, and V. Sassone. Functorial semantics for Petri nets under the individual token philosophy. In Proc. Category Theory and Computer Science, Edinburgh, Scottland, September 1999, volume 29 of Electronic Notes in Theoretical Computer Science. Elsevier, 1999. http://www.elsevier.nl/locate/entcs/volume29.html.
12. R. Bruni, J. Meseguer, U. Montanari, and V. Sassone. Functorial semantics for Petri nets. Information and Computation, 2001. To appear.
13. R. Bruni and V. Sassone. Algebraic models for contextual nets. In U. Montanari, J. D. P. Rolim, and E. Welzl, editors, Automata, Languages and Programming. Proceedings 2000., volume 1853. Springer-Verlag, 2000.
14. Christensen S., Hansen N.D. Coloured Petri nets extended with place capacities, test arcs and inhibitor arcs. Marsan M.A. Application and Theory of Petri Nets 1993, volume 691 of Lecture Notes in Computer Science. 1993
15. M. Clavel. Reflection in general logics and in rewriting logic, with applications to the Maude language. Ph.D. Thesis, University of Navarre, 1998.
16. M. Clavel, F. Duran, S. Eker, P. Lincoln, N. Marti-Oliet, J. Meseguer, and J. Quesada. A tutorial on Maude. SRI International, March 2000, http://maude.csl.sri.com.
17. Clavel M., Duran F., Eker S., Lincoln P., Marti-Oliet N., Meseguer J., Quesada J. Maude: Specification and Programming in Rewriting Logic. 1999;Computer Science Laboratory, SRI International, Menlo Park. http://maude.csl.sri.com.
18. Degano P., Meseguer J., Montanari U. Axiomizing the algebra of net computations and processes. Acta Informatica. 33:1996;641-667
19. Dimitrovici C., Hummert U., Petrucci L. Semantics, composition and net properties of algebraic high-level nets. Rozenberg G. Advances in Petri Nets 1991, volume 524 of Lecture Notes in Computer Science. 1991;Springer Verlag
20. F. Durán and J. Meseguer. Structured theories and institution. In M. Hofmann, G. Rosolini, and D. Pavlović, editors, Proceedings of CTCS'99, 8th Conference on Category Theory and Computer Science, Edinburgh, Scotland, U.K., September 10-12, 1999, volume 29, pages 71-90. Elsevier, 1999. http://www.elsevier.nl/locate/entcs/volume29.html.
21. Ehrig H., Padberg J., Ribeiro L. Algebraic high-level nets: Petri nets revisited. Recent Trends in Data Type Specification, volume 785 of Springer Verlag. 1994;188-206
22. Engberg U., Winskel G. Petri nets as models of linear logic. Arnold A. CAAP'90, volume 431 of Lecture Notes in Computer Science. 1990;147-161 Springer-Verlag
23. Fanchon J. FIFO-net models for processes with asynchronous communication. Rozenberg G. Advances in Petri Nets 1992, volume 609 of Lecture Notes in Computer Science. 1992;152-178 Springer-Verlag
24. Farwer B. A linear logic view of object Petri nets. Fundamenta Informaticae. 37:(3):1999;225-246
25. Finkel A., Choquet A. FIFO nets without order deadlock. Acta Informatica. 25:(1):1988;15-36
26. Genrich H.J. Equivalence transformation of PrT-nets. Rozenberg G. Advances in Petri Nets 1989. volume 424:1990;179-208 Springer Verlag
27. Genrich H.J. Predicate/transition nets. High-Level Petri Nets: Theory and Practice. 1991;3-43 Springer-Verlag
28. Genrich H.J., Lautenbach K. The analysis of distributed systems by means of predicate/transition-nets. Kahn G. Semantics of Concurrent Computation, volume 70 of Lecture Notes in Computer Science. 1979;123-146 Springer-Verlag, Berlin
29. Genrich H.J., Lautenbach K. System modelling with high-level Petri nets. Theoretical Computer Science. 13:1981;109-136
30. Goguen J., Burstall R. Institutions: Abstract model theory for specification and programming. Journal of the ACM. 39:(1):1992;95-146
31. Hanisch H.M. Analysis of place/transition nets with timed arcs and its application to batch process control. Marsan M.A. Application and Theory of Petri Nets 1993, volume 691 of Lecture Notes in Computer Science. 1993;282-299 Springer-Verlag
32. K. Hoffmann. Run time modification of algebraic high level nets and algebraic higher order nets using folding and unfolding construction. In G. Hommel, editor, Communication-Based Systems, Proceedings of the 3rd International Workshop held at the TU Berlin, Germany, 31 March - 1 April 2000, pages 55-72. Kluwer Academic Publishers, 2000.
33. Jensen K. Coloured Petri nets and the invariant-method. Theoretical Computer Science. 1981;317-336
34. K. Jensen. Coloured Petri Nets, Basic Concepts, Analysis Methods and Practical Use., volume 1 of EATCS monographs on theoretical computer science. Springer-Verlag, 1992.
35. E. Kettunen, E. Montonen, and T. Tuuliniemi. Comparison of Pr-net based channel models. In Proc. of the 12th IMACS World Conf., volume 3, pages 479-482, 1988.
36. Kindler E., Reisig W. Algebraic system nets for modelling distributed algorithms. Petri Net Newsletter. (51):December 1996;16-31
37. E. Kindler, and H. Völzer. Flexibility in algebraic nets. In J. Desel and M. Silva, editors, Application and Theory of Petri Nets 1998, 19th International Conference, ICATPN'98, Lisbon, Portugal, June 1998, Proceedings, volume 1420 of Lecture Notes in Computer Science, pages 345-384. Springer-Verlag, 1998.
38. Lakos C.A. From coloured Petri nets to object Petri nets. Diaz M., De Michelis G. Application and Theory of Petri Nets, volume 935 of Lecture Notes in Computer Science. 1995;278-297 Springer Verlag, Berlin
39. Martí-Oliet N., Meseguer J. From Petri nets to linear logic. Mathematical Structures in Computer Science. 1:1991;69-101
40. Martí-Oliet N., Meseguer J. From Petri nets to linear logic through categories: A survey. International Journal of Foundations of Computer Science. 2:(4):1991;297-399
41. J. Meseguer. General logics. In H.-D. Ebbinghaus et al., editors, Proceedings, Logic Colloquium, 1987, pages 275-329. North-Holland, 1989.
42. Meseguer J. Conditional rewriting logic as a unified model of concurrency. Theoretical Computer Science. 96:1992;73-155
43. J. Meseguer. Rewriting logic as a semantic framework for concurrency: a progress report. In U. Montanari and V. Sassone, editors, Proc. Concur'96, volume 1119 of Lecture Notes in Computer Science, pages 331-372. Springer Verlag, 1996.
44. Meseguer J. Membership algebra as a logical framework for equational specification. Parisi-Presicce F. Recent Trends in Algebraic Development Techniques, 12th International Workshop, WADT '97, Tarquinia, Italy, June 3-7, 1997, Selected Papers, volume 1376 of Lecture Notes in Computer Science. 1998;18-61 Springer-Verlag
45. Meseguer J. Rewriting logic and Maude: a wide-spectrum semantic framework for object-based distributed systems. Smith S., Talcott C.L. Formal Methods for Open Object-based Distributed Systems, FMOODS 2000. 2000;89-117 Kluwer
46. Meseguer J., Montanari U. Petri nets are monoids. Information and Computation. 88:(2):October 1990;105-155
47. J. Meseguer, U. Montanari, and V. Sassone. On the semantics of Petri nets. In W.R. Cleaveland, editor, Proceedings of the Concur'92 Conference, Stony Brook, New York, August 1992, volume 630 of Lecture Notes in Computer Science, pages 286-301. Springer-Verlag, 1992.
48. J. Meseguer, U. Montanari, and V. Sassone. On the model of computation of place/transition Petri nets. In Proceedings 15th International Conference on Application and Theory of Petri Nets, volume 815 of Lecture Notes in Computer Science, pages 16-38. Springer-Verlag, 1994.
49. Meseguer J., Montanari U., Sassone V. Process versus unfolding semantics for place/transition Petri nets. Theoretical Computer Science. 153:(1-2):1996;171-210
50. Meseguer J., Montanari U., Sassone V. Representation theorems for Petri nets. Freska C., Jantzen M., Valk R. Foundations of Computer Science: Potential, Theory, Cognition, volume 1337 of Lecture Notes in Computer Science. 1997;239-249 Springer-Verlag
51. Meseguer J., Ölveczky P.C., Stehr M.-O. Rewriting logic as a unifying framework for Petri nets. Ehrig H., Juhas G., Padberg J., Rozenberg G. Unifying Petri Nets. Lecture Notes in Computer Science (Advances in Petri Nets) :December 2001;Springer-Verlag. To appear
52. Montanari U., Rossi F. Contextual nets. Acta Informatica. 32:1995;545-596
53. Morasca S., Pezzè M., Trubian M. Timed high-level nets. The Journal of Real-Time Systems. 3:1991;165-189
54. P. C. Ölveczky. Specification and Analysis of Real-Time and Hybrid Systems in Rewriting Logic. PhD thesis, University of Bergen, 2000. Available at http://maude.csl.sri.com/papers.
55. P. C. Ölveczky and J. Meseguer. Real-Time Maude: A tool for simulating and analyzing real-time and hybrid systems. In Third International Workshop on Rewriting Logic and its Applications, 2000. To appear in Electronic Notes in Theoretical Computer Science.
56. P. C. Ölveczky and J. Meseguer. Specification of real-time and hybrid systems in rewriting logic. To appear in Theoretical Computer Science. Available at http://maude.csl.sri.com/papers, September 2000.
57. Petri C.A. Nets, time and space. Theoretical Computer Science. 153:(1-2):1996;3-48
58. Reisig W. Petri nets and algebraic specifications. Theoretical Computer Science. 80:1991;1-34
59. Reisig W. Elements of Distributed Algorithms: Modeling and Analysis with Petri Nets. 1998;Springer-Verlag
60. W. Reisig and J. Vautherin. An algebraic approach to high level Petri nets. In Proceedings of the Eighth European Workshop on Application and Theory of Petri Nets, pages 51-72. Universidad de Zaragoza (Spain), 1987.
61. Sibertin-Blanc C. Cooperative nets. Valette R. Application and Theory of Petri Nets, volume 815 of Lecture Notes in Computer Science. 1994;471-490 Springer-Verlag, Berlin
62. Stehr M.-O. A rewriting semantics for algebraic nets. Girault C., Valk R. Petri Nets for Systems Engineering - A Guide to Modelling, Verification, and Applications. 2001;Springer-Verlag. To appear
63. R. Valk. Petri nets as dynamical objects. In Workshop Proc. 16th International Conf. on Application and Theory of Petri Nets, Torino, Italy, June 1995.
64. R. Valk. Petri nets as token objects: An introduction to elementary object nets. In J. Desel and M. Silva, editors, Proceedings of the 19th International Conference on Application and Theory of Petri Nets, Lissabon, June 22-26, 1998, volume 1420 of Lecture Notes in Computer Science, pages 1 - 25. Springer Verlag, 1998.
65. R. Valk. Relating Different Semantics for Object Petri Nets. Technical report, FBI-HH-B-266/00, Fachbereich Informatik, Universität Hamburg, 2000.
66. J. Vautherin. Un Modele Algebrique, Base sur les Reseaux de Petri, pour l'Etude des Systemes Paralleles. These de Docteur Ingenieur, Univ. de Paris Sud, Centre d'Orsay, June 1985.
67. Vautherin J. Parallel systems specifications with coloured Petri nets and algebraic specifications. Lecture Notes in Computer Science: Advances in Petri Nets 1987. 266:1987;293-308
68. P. Viry. Rewriting: An effective model of concurrency. In C. Halatsis, D. Maritsas, G. Philokyprou, and S. Theodoridis, editors, PARLE'94 - Parallel Architectures and Languages Europe, 6th Int. PARLE Conf. Athes, Greece, July 1994, Proceedings., volume 817 of Lecture Notes in Computer Science, pages 648-660. Springer-Verlag, 1994.
69. W. Vogler. Partial order semantics and test arcs. In Proc. MFCS'97, volume 1295 of Lecture Notes in Computer Science. Springer-Verlag, 1997.