Towards Verifying Distributed Systems Using Object-Oriented Petri Nets

Milan Češka; Vladimír Janoušek; Tomáš Vojnar

doi:10.1007/10720123_9

ScienceGate Book Chapters

BOOK-CHAPTER

Towards Verifying Distributed Systems Using Object-Oriented Petri Nets

Milan Češka Vladimír Janoušek Tomáš Vojnar

Year: 2000 Lecture notes in computer science Pages: 90-104 Publisher: Springer Science+Business Media

DOI: 10.1007/10720123_9

Get Full-Text PDF Get Analytical Report

Keywords:

Petri net Identifier Computer science State (computer science) State space Object (grammar) Context (archaeology) Theoretical computer science Process architecture Programming language Distributed computing Object-oriented programming Artificial intelligence Mathematics

Metrics

Cited By

0.00

FWCI (Field Weighted Citation Impact)

Refs

0.17

Citation Normalized Percentile

Is in top 1%

Is in top 10%

Topics

Petri Nets in System Modeling

Physical Sciences → Computer Science → Computational Theory and Mathematics

Formal Methods in Verification

Physical Sciences → Computer Science → Computational Theory and Mathematics

Business Process Modeling and Analysis

Social Sciences → Business, Management and Accounting → Management Information Systems

Towards Verifying Distributed Systems Using Object-Oriented Petri Nets

Metrics

Topics

Related Documents

Modelling, prototyping, and verifying concurrent and distributed applications using object‐oriented Petri nets

Specification of Distributed Systems with Actors Using Object Oriented Petri Nets

Specification of distributed systems with actors using object-oriented Petri nets

Verifying UCM Specifications of Distributed Systems Using Colored Petri Nets

Verifying timing properties for distributed real-time systems using timing constraint Petri nets