×
Log in
Upload File
Most Popular
Art & Photos
Automotive
Business
Career
Design
Education
Hi-Tech
+ Browse for More
The top documents tagged [highlevel petri nets]
Documents
The Birth of Model Checking Edmund M. Clarke Department of Computer Science Carnegie Mellon University
216 views
Documents
Open Distributed Processing in SC7
36 views
Documents
Petri Net Markup Language (PNML) Nickolas Paladino Oct. 9, 2002 University of Central Florida
214 views
Documents
SC32/WG2 meeting. London, 18 Nov. 2009 1 Open Distributed Processing in SC7 Peter Linington and Antonio Vallecillo JTC1/SC7/WG19 “Techniques for the specification
218 views