Petri nets : fundamental models, verification and applications /

Petri nets : fundamental models, verification and applications / / edited by Michel Diaz.

Saved in:
Bibliographic Details
:
ProQuest (Firm)
TeilnehmendeR:
Diaz, Michel, 1945-
ProQuest (Firm)
Year of Publication:2009
Language:English
Online Access:
Physical Description:xxv. 585 p. :; ill.
Tags: Add Tag
No Tags, Be the first to tag this record!
id 500477662
ctrlnum (MiAaPQ)500477662
(Au-PeEL)EBL477662
(CaPaEBR)ebr10361011
(CaONFJC)MIL268879
(OCoLC)593295624
collection bib_alma
fullrecord <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01445nam a2200385Ia 4500</leader><controlfield tag="001">500477662</controlfield><controlfield tag="003">MiAaPQ</controlfield><controlfield tag="005">20200520144314.0</controlfield><controlfield tag="006">m o d | </controlfield><controlfield tag="007">cr cn|||||||||</controlfield><controlfield tag="008">090424s2009 enka sb 001 0 eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="z"> 2009017412</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9781848210790</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(MiAaPQ)500477662</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(Au-PeEL)EBL477662</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CaPaEBR)ebr10361011</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CaONFJC)MIL268879</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)593295624</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">MiAaPQ</subfield><subfield code="c">MiAaPQ</subfield><subfield code="d">MiAaPQ</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA76.9.D5</subfield><subfield code="b">R4713 2009</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="a">511.3/5</subfield><subfield code="2">22</subfield></datafield><datafield tag="130" ind1="0" ind2=" "><subfield code="a">Reseaux de Petri.</subfield><subfield code="l">English.</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Petri nets</subfield><subfield code="h">[electronic resource] :</subfield><subfield code="b">fundamental models, verification and applications /</subfield><subfield code="c">edited by Michel Diaz.</subfield></datafield><datafield tag="260" ind1=" " ind2=" "><subfield code="a">London :</subfield><subfield code="b">ISTE ;</subfield><subfield code="a">Hoboken, NJ :</subfield><subfield code="b">John Wiley and Sons,</subfield><subfield code="c">2009.</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xxv. 585 p. :</subfield><subfield code="b">ill.</subfield></datafield><datafield tag="504" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references and index.</subfield></datafield><datafield tag="533" ind1=" " ind2=" "><subfield code="a">Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Electronic data processing</subfield><subfield code="x">Distributed processing.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Parallel processing (Electronic computers)</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">System design.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Petri nets.</subfield></datafield><datafield tag="655" ind1=" " ind2="4"><subfield code="a">Electronic books.</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Diaz, Michel,</subfield><subfield code="d">1945-</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">ProQuest (Firm)</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=477662</subfield><subfield code="z">Click to View</subfield></datafield></record></collection>
record_format marc
spelling Reseaux de Petri. English.
Petri nets [electronic resource] : fundamental models, verification and applications / edited by Michel Diaz.
London : ISTE ; Hoboken, NJ : John Wiley and Sons, 2009.
xxv. 585 p. : ill.
Includes bibliographical references and index.
Electronic reproduction. Ann Arbor, MI : ProQuest, 2015. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.
Electronic data processing Distributed processing.
Parallel processing (Electronic computers)
System design.
Petri nets.
Electronic books.
Diaz, Michel, 1945-
ProQuest (Firm)
https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=477662 Click to View
language English
format Electronic
eBook
author2 Diaz, Michel, 1945-
ProQuest (Firm)
author_facet Diaz, Michel, 1945-
ProQuest (Firm)
ProQuest (Firm)
author2_variant m d md
author2_role TeilnehmendeR
TeilnehmendeR
author_corporate ProQuest (Firm)
author_sort Diaz, Michel, 1945-
title Petri nets fundamental models, verification and applications /
spellingShingle Petri nets fundamental models, verification and applications /
title_sub fundamental models, verification and applications /
title_full Petri nets [electronic resource] : fundamental models, verification and applications / edited by Michel Diaz.
title_fullStr Petri nets [electronic resource] : fundamental models, verification and applications / edited by Michel Diaz.
title_full_unstemmed Petri nets [electronic resource] : fundamental models, verification and applications / edited by Michel Diaz.
title_auth Petri nets fundamental models, verification and applications /
title_alt Reseaux de Petri. English.
title_new Petri nets
title_sort petri nets fundamental models, verification and applications /
publisher ISTE ; John Wiley and Sons,
publishDate 2009
physical xxv. 585 p. : ill.
callnumber-first Q - Science
callnumber-subject QA - Mathematics
callnumber-label QA76
callnumber-sort QA 276.9 D5 R4713 42009
genre Electronic books.
genre_facet Electronic books.
url https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=477662
illustrated Illustrated
dewey-hundreds 500 - Science
dewey-tens 510 - Mathematics
dewey-ones 511 - General principles of mathematics
dewey-full 511.3/5
dewey-sort 3511.3 15
dewey-raw 511.3/5
dewey-search 511.3/5
oclc_num 593295624
work_keys_str_mv UT reseauxdepetri
AT diazmichel petrinetsfundamentalmodelsverificationandapplications
AT proquestfirm petrinetsfundamentalmodelsverificationandapplications
status_str n
ids_txt_mv (MiAaPQ)500477662
(Au-PeEL)EBL477662
(CaPaEBR)ebr10361011
(CaONFJC)MIL268879
(OCoLC)593295624
is_hierarchy_title Petri nets fundamental models, verification and applications /
author2_original_writing_str_mv noLinkedField
noLinkedField
_version_ 1792330697413754880

Similar Items