For the most recent entries see the Petri Nets Newsletter.

Towards Formal Analysis and Verification over State Spaces of Object-Oriented Petri Nets.

Vojnar, T.

In: Department of Computer Science and Engineering, Faculty of Electrical Engineering and Computer Science, Brno University of Technology, Czech Republic. 2001.

Abstract: The primary goal of the thesis is to identify and solve at least some of the problems which appear when we want to use state spaces of the OOPNs associated with the PNtalk language for formal analysis or verification. Some of the considered problems are, however, related both to generating state spaces of OOPNs as well as to simulating OOPN-based models.


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography