Coloured petri nets modeling and validation of concurrent systems

Saved in:
Bibliographic Details
Main Author: Jensen, K. 1950- Kurt
Other Authors: Kristensen, Lars M.
Format: Book
Published: Dordrecht Springer 2009
Subjects:
Online Access:Click Here to View Status and Holdings.
Tags: Add Tag
No Tags, Be the first to tag this record!

MARC

LEADER 00000n a2200000 a 4501
001 wils-448488
020 # # |a 3642002838 (hbk.) 
020 # # |a 9783642002830 (hbk.) 
040 # # |a GW5XE  |d ITMB 
090 0 0 |a QA267  |b .J46 2009 
100 1 # |a Jensen, K.  |d 1950-  |q Kurt 
245 1 0 |a Coloured petri nets  |b modeling and validation of concurrent systems  |c by Kurt Jensen, Lars M. Kristensen 
260 # # |a Dordrecht  |b Springer  |c 2009 
300 # # |a xi, 384 p.  |b ill.  |c 25 cm 
504 # # |a Includes bibliographical references and index 
650 # 0 |a Petri nets 
700 1 # |a Kristensen, Lars M. 
856 4 0 |z Click Here to View Status and Holdings.  |u https://opac.uitm.edu.my/opac/detailsPage/detailsHome.jsp?tid=448488 
964 # # |c BOK  |d MI