Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

11

APN
2007
Springer

favoriteEmaildiscussreport

73views Artificial Intelligence» more APN 2007»

From Many Places to Few: Automatic Abstraction Refinement for Petri Nets

13 years 10 months ago

From Many Places to Few: Automatic Abstraction Refinement for Petri Nets

Download www.ulb.ac.be

Pierre Ganty, Jean-François Raskin, Laurent

Real-time Traffic

APN 2007 | Artificial Intelligence |

claim paper

Related Content

» Experimenting Formal Proofs of Petri Nets Refinements

» On the Model of Computation of PlaceTransition Petri Nets

» On the Application of WFNets for Checking Hybrid IDEF0IDEF3 Business Process Models

» Reduction rules for resetinhibitor nets

» The Pathalyzer A Tool for Analysis of Signal Transduction Pathways

» Pure bigraphs Structure and dynamics

» Finding Structure in Unstructured Processes The Case for Process Mining

» A Neural Network Classifier for Junk EMail

» Dependability Modelling and Sensitivity Analysis of Scheduled Maintenance Systems

Post Info
More Details (n/a)

Added	07 Jun 2010
Updated	07 Jun 2010
Type	Conference
Year	2007
Where	APN
Authors	Pierre Ganty, Jean-François Raskin, Laurent Van Begin

Comments (0)