Translations between textual transition systems and Petri nets

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2335, Issue , 2002, Pages 339-359

  Korenblat, Katerina ^a   Grumberg, Orna ^a   Katz, Shmuel ^a  

^a TECHNION ISRAEL INSTITUTE OF TECHNOLOGY   (Israel)

Author keywords

Model translations; Petri nets; Structure and semantics preservation; Textual transition systems

Indexed keywords

ABSTRACTING; FORMAL METHODS; PETRI NETS; SEMANTICS;

BOOLEAN EXPRESSIONS; HIERARCHICAL STRUCTURES; MODEL TRANSLATION; ORIGINAL MODEL; STRUCTURE-PRESERVING; STRUCTURED SYSTEMS; TEMPORAL PROPERTY; TRANSITION SYSTEM;

HIERARCHICAL SYSTEMS;

EID: 84944253557     PISSN: 03029743     EISSN: 16113349     Source Type: Journal    
DOI: 10.1007/3-540-47884-1_19     Document Type: Article

References (17)

1. Saddek Bensalem, Vijay Ganesh, Yassine Lakhnech, Cesar Munoz, Sam Owre, Harald Rueß, John Rushby, Vlad Rusu, Hassen Saidi, N. Shankar, Eli Singerman, and Ashish Tiwari. An overview of SAL. In C. Michael Holloway, editor, LFM 2000: Fifth NASA Langley Formal Methods Workshop, pages 187-196, Hampton, VA, June 2000. Available at http://shemesh.larc.nasa.gov/fm/Lfm2000/Proc/.
2. N. Bjorner, A. Browne, E. Chang, M. Colon, A. Kapur, Z. Manna, H.B. Simpa, and T.E. Uribe. Step: The stanford temporal prover - user’s manual. Technical Report STAN-CS-TR-95-1562, Department of Computer Science, Stanford University, November 1995.
3. B. Eichenauer and M. Zelm. Transformation of cimosa-models into petrinet-models with pace. Technical report, 1999. http://www.ibepace.com.
4. R. Esser. An Object Oriented Petri Net Approach to Embedded System Design. Phd dissertation, ETH Zurich, 1996.
5. R. Esser, J.W. Janneck, and M. Naedele. Using an object-oriented petri net tool for heterogeneous systems design: A case study. In Proceedings of Algorithmen und Werkzeuge fur Petrinetze, 1997.
6. B. Grahlmann and C. Pohl. Profiting from spin in pep. In Proceedings of the SPIN’98 Workshop, 1998.
7. S. Katz and O. Grumberg. A framework for translating models and specifications. In Third international conference on Integrated Formal Methods (IFM’02), Turku, Finland, May 2002.
8. P. Kemper. Logistic process models go petri nets. In S. Philippi, editor, Fachberichte Informatik, No. 7-2000:7. Workshop Algorithmen und Werkzeuge fur Petrinetze, 2.-3, pages 69-74. Universitatt Koblenz-Landau, Institut fur Informatik, 2000.
9. Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer-Verlag, 1992.
10. M. Nielsen, G. Rozenberg, and P.S. Thiagarajan. Elementery transition systems. Theoretical Computer Science, 96:3-33, 1992.
11. M. Pietkiewicz-Koutny. Transition systems of elementary net systems with inhibitor arcs. In P. Azma and G. Balbo, editors, 18th International Conference on Application and Theory of Petri Nets, volume 1248 of LNCS, pages 310-327. Springer-Verlag, 1997.
12. W. Reisig. Elements of Distributed Algorithms- Modeling and Analysis with Petri Nets. Springer-Verlag, 1998.
13. L. Shi and P. Nixon. An improved translation of sa/rt specification model to highlevel timed petri nets. In FME’96: Industrial Benefit and Advances in Formal Methods, volume 1051 of LNCS, pages 518-537. Springer-Verlag, 1996.
14. R. Sisto and A. Valenzano. Mapping petri nets with inhibitor arcs onto basic lotos behaviour expressions. IEEE Transactions on Computers, 44(12):1361-1370, 1995.
15. W. Vogler. Concurrent implementation of asynchronous transition systems. In Application and Theory of Petri Nets 1999, 20th International Conference, ICATPN’99, volume 1630 of LNCS, pages 284-303. Springer-Verlag, 1999.
16. G. Wimmel. A bdd-based model checker for the pep tool. Technical report. Project Report 1997, http://theoretica.Informatik.Uni-Oldenburg.DE/pep.
17. G. Winskel and M. Nielsen. Models for concurrency. In S. Abramskky, D. Gabbay, and T.S.E. Maibaum, editors, Handbook of Logic in Computer Science, volume 4, pages 1-148. 1995