×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [highlevel petri nets]
The Birth of Model Checking Edmund M. Clarke Department of Computer Science Carnegie Mellon University
216 views
Open Distributed Processing in SC7
36 views
Petri Net Markup Language (PNML) Nickolas Paladino Oct. 9, 2002 University of Central Florida
214 views
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