×
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
220 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
Open Distributed Processing in SC7
43 views
Petri Net Markup Language (PNML) Nickolas Paladino Oct. 9, 2002 University of Central Florida
214 views