For the most recent entries see the
Petri Nets Newsletter
.
Keyword: concurrent
Krämer, Bernd
:
Introducing the GRASPIN Specification Language SEGRAS.
1991.
Morasca, S.
;
Pezzè, M.
:
Using High-Level Petri Nets for Testing Concurrent and Real-Time Systems.
1990.
Pelz, Elisabeth
:
Normalisation of Place/Transtion Systems Preserves Net Behaviour.
1990.
Stotts, P. David
:
Bounding Procedure Execution Times in a Synchronous Petri Net Computation Model.
1990.
Do you need a refined search? Try our
search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography