A Memory Module Specification Using Composable High-Level Petri Nets

Authors:
Eike Best
Affiliations:
-
Venue:
Formal Systems Specification, The RPC-Memory Specification Case Study (the book grow out of a Dagstuhl Seminar, September 1994)
Year:
1996

Citing 0
Cited 4

A class of composable and preemptible high-level Petri nets with an application to multi-tasking systems

Fundamenta Informaticae
Asynchronous Links in the PBC and M-Nets

ASIAN '99 Proceedings of the 5th Asian Computing Science Conference on Advances in Computing Science
M-net Calculus Based Semantics for Triggers

ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
A Class of Composable and Preemptible High-level Petri Nets with an Application to Multi-Tasking Systems

Fundamenta Informaticae

Quantified Score

Hi-index	0.00

Visualization

Abstract