Petri nets for systems engineering a guide to modeling, verification, and applications
Using formal methods for the specification and verification of hardware and software systems is becoming increasingly important as systems increase in size and complexity. The aim of the book is to illustrate progress in formal methods based on Petri net formalisms. It presents both practical and th...
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Book |
| Published: |
New York
Springer
2003
©2003 |
| Subjects: | |
| Online Access: | Click Here to View Status and Holdings. |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Add Tag MARC
| LEADER | 00000n a2200000 a 4501 | ||
|---|---|---|---|
| 001 | wils-305971 | ||
| 005 | 20238414581 | ||
| 020 | # | # | |a 3540412174 |q hardcover |
| 040 | # | # | |a UiTM |b eng |c UiTM |e rda |
| 090 | 0 | 0 | |a QA76.9.F67 |b G57 2003 |
| 100 | 1 | # | |a Girault, Claude |e author |
| 245 | 1 | 1 | |a Petri nets for systems engineering |b a guide to modeling, verification, and applications |c Claude Girault, R?udiger Valk |
| 264 | # | 1 | |a New York |b Springer |c 2003 |
| 264 | # | 1 | |c ©2003 |
| 300 | # | # | |a xvi, 607 pages |b illustrations |c 25 cm |
| 336 | # | # | |a text |2 rdacontent |
| 337 | # | # | |a unmediated |2 rdamedia |
| 338 | # | # | |a volume |2 rdacarrier |
| 504 | # | # | |a Includes bibliographical references (page 571-599) and index |
| 520 | # | # | |a Using formal methods for the specification and verification of hardware and software systems is becoming increasingly important as systems increase in size and complexity. The aim of the book is to illustrate progress in formal methods based on Petri net formalisms. It presents both practical and theoretical foundations for the use of Petri nets in complex system engineering tasks. In doing so it bridges the gap between Petri nets and the systems modeling and implementation process. It contains a collection of examples arising from different fields, such as flexible manufacturing, telecommunication and workflow management systems. |
| 650 | # | 0 | |a Formal methods (Computer science) |
| 650 | # | 0 | |a Systems engineering |
| 650 | # | 0 | |a Petri nets |
| 700 | 1 | # | |a Valk, Rudiger |e author |
| 856 | 4 | 0 | |z Click Here to View Status and Holdings. |u https://opac.uitm.edu.my/opac/detailsPage/detailsHome.jsp?tid=305971 |
| 964 | # | # | |c BOK |d 01 |
| 998 | # | # | |a 00264#1a002.8.2||00264#1b002.8.4||01264#1a002.8.2||01264#1b002.8.4||00300##a003.4.1||00300##b003.6.1||00300##c003.5.1||00520##a007.2||00520##b007.2|| |
Coloured petri nets modeling and validation of concurrent systems