Bibliography

Representation and Execution of Petri Nets Using Rewriting Logic as a Uniform Framework

Mark-Oliver Stehr, J. Meseguer, and P. C. Ölveczky.
Representation and execution of Petri nets using rewriting logic as a uniform framework.
In H. Ehrig, C. Ermel, and J. Padberg, editors, UNIGRA'2001, Uniform Approaches to Graphical Process Specification Techniques, Genova, Italy, March 31st and April 1st, 2001, Proceedings, volume 44 of Electronic Notes in Theoretical Computer Science, 2001.

Abstract: No abstracts yet.

BibTeX entry

@INPROCEEDINGS{Stehr+01,
        AUTHOR             = {Stehr, Mark-Oliver and Meseguer, J. and {\"O}lveczky, P. C.},
        BOOKTITLE          = {UNIGRA'2001, Uniform Approaches to Graphical Process Specification Techniques, Genova, Italy, March 31st and April 1st, 2001, Proceedings},
        EDITOR             = {H. Ehrig and C. Ermel and J. Padberg},
        SERIES             = {Electronic Notes in Theoretical Computer Science},
        TITLE              = {Representation and Execution of {Petri} Nets Using Rewriting Logic as a Uniform Framework},
        VOLUME             = {44},
        YEAR               = 2001,
        Issue = {4}
}

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.