Bibliography

A New Synchronisation Model for Multi-Level Object Petri Nets

Berndt Farwer and Manfred Kudlek.
A new synchronisation model for multi-level object Petri nets.
Fundamenta Informaticae, 60(1-4):131-142, 2004.

Abstract: No abstracts yet.

BibTeX entry

@article{Farwer+04a,
    Abstract = {The present paper continues work from [7]. One goal of
this work is to find a class of (object) Petri nets of lesser power
than Turing machines, such that there exists a universal Petri net
within that class. Another goal is to surpass the restricted
synchronisation of transitions in object and system nets in the case of
value semantics. Finally, an encoding of the proposed class of object
Petri nets into linear logic Petri nets (LLPNs) is given, which
directly leads to a specification that can be model-checked by existing
tools.},
    Author = {Farwer, Berndt and Kudlek, Manfred},
    Journal = {Fundamenta Informaticae},
    Number = {1--4},
    Pages = {131--142},
    Title = {A New Synchronisation Model for Multi-Level Object {Petri} Nets},
    Volume = {60},
    Year = 2004
}

Copyright Notice

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.