Back to Results
First PageMeta Content
Petri nets / Diagrams / Formal methods / Theoretical computer science / Multiset / Petri / Graph / Reachability / Algebraic Petri nets / Models of computation / Concurrency / Mathematics


High-level Petri Nets - Concepts, De nitions and Graphical Notation Committee Draft ISO/IEC[removed]October 2, 1997 Version 3.4
Add to Reading List

Document Date: 2002-02-04 07:00:31


Open Document

File Size: 282,60 KB

Share Result on Facebook

City

London / /

Company

Jonathan Billington / Bibliography 38 5 0 Introduction Software / /

/

IndustryTerm

behaviour critical systems / communication protocols / software quality / security systems / information systems / software services / net computer support tools / software processes / chemical processes / concurrent discrete event systems / nuclear waste systems / large scale systems / telecommunications / distributed systems / /

NaturalFeature

Walnut Creek / /

Organization

SC7 / /

Person

Jonathan Billington / Tony Williamson / /

/

Position

Editor / General / WG11 secretary / /

Technology

Dom / Simulation / communication protocols / operating systems / 14481 Information Technology / /

SocialTag