On proving large distributed systems: Petri net modules verification

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

Volumn 1277, Issue , 1997, Pages 70-75

  Lomazova, Irina A ^a  

^a NONE   (Russian Federation)

Author keywords

[No Author keywords available]

Indexed keywords

DISTRIBUTED DATABASE SYSTEMS; PETRI NETS; TEMPORAL LOGIC;

COLOURED PETRI NETS; DISTRIBUTED SYSTEMS; LINEAR TIME TEMPORAL LOGIC; PETRI NET MODULES;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 84947760783     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-63371-5_8     Document Type: Conference Paper

References (10)

1. Anisimov, N., Kovalenko, A.: Asynchronous Composition of Petri Nets via. Places. In: Perspectives of System Informatics (Proceedings of the Andrei Ershov Second International Memorial Conference). Novosibirsk (1996) 214-219.
2. Chandy, K.M., Misra, J.: Parallel Program Design: A Foundation. Addison-Wesley Publishing Company, 1988.
3. Cleaveland, R., Smolka, A. (Eds.): Strategic Directions in Computing Research. Concurrency Working Group Report. Bulletin EATCS, 60 (1996) 97-122.
4. Jensen, K.: Coloured Petri Nets, Vol.l. Eatcs Monographs on TCS, Springer-Verlag, 1994.
5. Liu, H., Park, J.-C., Miller, R.E.: On Hybrid Synthesis for Hierarchical Structured Petri Nets. Technical Report CS-TR-3628, University of Maryland, Colledge Park, = 1996.
6. Lomazova, I.: A Complete Axiomatics for Proving Safety Properties of Petri Nets. In: Perspectives of System Informatics (Proceedings of the Andrei Ershov Second International Memorial Conference). Novosibirsk (1996) 268-272.
7. Manna, Z., Pnueli A.: The Temporal Logic of Reactive and Concurrent Systems. Springer-Verlag, 1992.
8. Reisig, W.: Petri Nets. Springer-Verlag, 1985.
9. Reisig, W.: Elements of Temporal Logic Coping with Concurrency. Technical Report TR 342/23/92, München: Technische Universitat, Institut für Informatik, 1992.
10. Smith, E.: A Survey on High-Level Petri-Net Theory. Bulletin EATCS, 59 (1996) 267-293.