The Locator -- [(subject = "Petri nets")]

107 records matched your query       

Record 12 | Previous Record | MARC Display | Next Record | Search Results
Author:
Jensen, K. (Kurt), 1950-
Title:
Coloured petri nets [electronic resource] : modelling and validation of concurrent systems / Kurt Jensen, Lars M. Kristensen.
Format:
[electronic resource] :
Publisher:
Springer,
Copyright Date:
c2009
Description:
1 online resource (xi, 384 p.) : ill.
Subject:
Petri nets.
Other Authors:
Kristensen, Lars M. (Lars Michael)
Notes:
Description based on print. Includes bibliographical references and index.
ISBN:
3642002846
9783642002847
OCLC:
(OCoLC)432702891
Locations:
USUX851 -- ISU Library (Ames)

Initiate Another SILO Locator Search

This resource is supported by the Institute of Museum and Library Services under the provisions of the Library Services and Technology Act as administered by State Library of Iowa.