Back to Results
First PageMeta Content
Formal methods / Concurrency / Software engineering / Computer science / Algebraic Petri nets / Petri / State diagram / Petri Net Markup Language / TAPAAL Model Checker / Petri nets / Models of computation / Diagrams


High-level Petri Nets - Concepts, Definitions and Graphical Notation Final Draft International Standard ISO/IEC[removed]Version[removed]May 10, 2002 Contents
Add to Reading List

Document Date: 2003-01-10 02:18:16


Open Document

File Size: 189,81 KB

Share Result on Facebook

IndustryTerm

banking / communication protocols / security systems / computing / net computer support tools / faulttolerant systems / net support tools / biological and chemical processes / Internet protocols / software processes / concurrent discrete event systems / telecommunications / distributed systems / nuclear power systems / transport systems / control systems / electronic commerce / /

Person

Carl Adam Petri / /

Position

General / /

Technology

Internet protocols / simulation / communication protocols / Flow Control / operating systems / /

SocialTag